src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 35866 513074557e06
parent 35388 42d39948cace
child 36384 76d5fd5a45fb
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Mar 19 13:02:18 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Mar 19 15:07:44 2010 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  signature NITPICK_TESTS =
     1.5  sig
     1.6    val run_all_tests : unit -> unit
     1.7 -end
     1.8 +end;
     1.9  
    1.10  structure Nitpick_Tests =
    1.11  struct