src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 36384 76d5fd5a45fb
parent 35866 513074557e06
child 36385 ff5f88702590
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Sat Apr 24 16:05:42 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Sat Apr 24 16:17:30 2010 +0200
     1.3 @@ -324,6 +324,6 @@
     1.4    case Kodkod.solve_any_problem false NONE 0 1
     1.5                                  (map (problem_for_nut @{context}) tests) of
     1.6      Kodkod.Normal ([], _, _) => ()
     1.7 -  | _ => error "Tests failed"
     1.8 +  | _ => error "Tests failed."
     1.9  
    1.10  end;