diff -r 90242c744a1a -r 91ee232b4211 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Thu Nov 25 19:56:01 2021 +0100
+++ b/src/Pure/Tools/build.scala	Thu Nov 25 21:31:50 2021 +0100
@@ -191,7 +191,6 @@
       options +
         "completion_limit=0" +
         "editor_tracing_messages=0" +
-        "kodkod_scala=false" +
         ("pide_reports=" + options.bool("build_pide_reports"))
 
     val store = Sessions.store(build_options)