--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML Mon Feb 21 10:44:19 2011 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML Mon Feb 21 11:50:31 2011 +0100
@@ -211,11 +211,11 @@
fun run_all_tests () =
let
- val {overlord, ...} = Nitpick_Isar.default_params @{theory} []
+ val {debug, overlord, ...} = Nitpick_Isar.default_params @{theory} []
val max_threads = 1
val max_solutions = 1
in
- case Kodkod.solve_any_problem overlord NONE max_threads max_solutions
+ case Kodkod.solve_any_problem debug overlord NONE max_threads max_solutions
(map (problem_for_nut @{context}) tests) of
Kodkod.Normal ([], _, _) => ()
| _ => error "Tests failed."