--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Mar 19 13:02:18 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Mar 19 15:07:44 2010 +0100
@@ -8,7 +8,7 @@
signature NITPICK_TESTS =
sig
val run_all_tests : unit -> unit
-end
+end;
structure Nitpick_Tests =
struct