src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 35333 f61de25f71f9
parent 35284 9edc2bd6d2bd
child 35388 42d39948cace
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Feb 23 14:50:44 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Feb 23 15:56:13 2010 +0100
     1.3 @@ -325,7 +325,7 @@
     1.4  fun run_all_tests () =
     1.5    case Kodkod.solve_any_problem false NONE 0 1
     1.6                                  (map (problem_for_nut @{context}) tests) of
     1.7 -    Kodkod.Normal ([], _) => ()
     1.8 +    Kodkod.Normal ([], _, _) => ()
     1.9    | _ => error "Tests failed"
    1.10  
    1.11  end;