--- a/src/Pure/build-jars Tue Aug 18 17:58:35 2020 +0200
+++ b/src/Pure/build-jars Tue Aug 18 18:23:17 2020 +0200
@@ -9,6 +9,7 @@
## sources
declare -a SOURCES=(
+ src/HOL/Tools/Nitpick/kodkod.scala
src/Pure/Admin/afp.scala
src/Pure/Admin/build_cygwin.scala
src/Pure/Admin/build_doc.scala