diff -r 90242c744a1a -r 91ee232b4211 src/HOL/Tools/etc/options
--- a/src/HOL/Tools/etc/options	Thu Nov 25 19:56:01 2021 +0100
+++ b/src/HOL/Tools/etc/options	Thu Nov 25 21:31:50 2021 +0100
@@ -38,7 +38,7 @@
 public option MaSh : string = "sml"
   -- "machine learning algorithm to use by Sledgehammer (nb_knn, nb, knn, none)"
 
-public option kodkod_scala : bool = true
+public option kodkod_scala : bool = false
   -- "invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process)"
 
 public option kodkod_max_threads : int = 0