--- a/src/HOL/Tools/Nitpick/nitpick_commands.ML Fri Jan 31 10:23:32 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML Fri Jan 31 10:34:20 2014 +0100
@@ -15,7 +15,7 @@
val default_params : theory -> (string * string) list -> params
end;
-structure Nitpick_Commands : NITPICK_Commands =
+structure Nitpick_Commands : NITPICK_COMMANDS =
struct
open Nitpick_Util
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Jan 31 10:23:32 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Jan 31 10:34:20 2014 +0100
@@ -1,4 +1,4 @@
-Nitpick_Commands(* Title: HOL/Tools/Nitpick/nitpick_tests.ML
+(* Title: HOL/Tools/Nitpick/nitpick_tests.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2008, 2009, 2010
@@ -10,7 +10,7 @@
val run_all_tests : unit -> unit
end;
-structure Nitpick_Tests =
+structure Nitpick_Tests : NITPICK_TESTS =
struct
open Nitpick_Util