src/HOL/Tools/Nitpick/nitpick_tests.ML

--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Aug 03 17:43:15 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Aug 03 18:14:44 2010 +0200
@@ -318,8 +318,13 @@
   end
 
 fun run_all_tests () =
-  case Kodkod.solve_any_problem false NONE 0 1
-                                (map (problem_for_nut @{context}) tests) of
+  let
+    val {overlord, ...} = Nitpick_Isar.default_params thy []
+    val max_threads = 1
+    val max_solutions = 1
+  in
+    case Kodkod.solve_any_problem overlord NONE max_threads max_solutions
+                                  (map (problem_for_nut @{context}) tests) of
     Kodkod.Normal ([], _, _) => ()
   | _ => error "Tests failed."