src/HOL/Tools/Nitpick/nitpick_tests.ML

--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Feb 23 14:50:44 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Feb 23 15:56:13 2010 +0100
@@ -325,7 +325,7 @@
 fun run_all_tests () =
   case Kodkod.solve_any_problem false NONE 0 1
                                 (map (problem_for_nut @{context}) tests) of
-    Kodkod.Normal ([], _) => ()
+    Kodkod.Normal ([], _, _) => ()
   | _ => error "Tests failed"
 
 end;