# HG changeset patch
# User wenzelm
# Date 1597932050 -7200
# Node ID 6241cbbf5a5827e87dfc2cc5a0e84abf71e1936d
# Parent  f422efa3cca0aeabe7b6b882ad3962a090586b4b
preload library;

diff -r f422efa3cca0 -r 6241cbbf5a58 src/HOL/Tools/Nitpick/kodkod.scala
--- a/src/HOL/Tools/Nitpick/kodkod.scala	Thu Aug 20 15:45:22 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.scala	Thu Aug 20 16:00:50 2020 +0200
@@ -98,5 +98,7 @@
   }
 
   def warmup(): String =
-    execute(File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check
+    execute(
+      """solver: "MiniSat\n"""" +
+      File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check
 }