# HG changeset patch
# User blanchet
# Date 1391160860 -3600
# Node ID e872d196a73bc65a2e02d116994846bb3708c393
# Parent  824c48a539c9db3209ccfd888c2cb40b5f0f445d
compile

diff -r 824c48a539c9 -r e872d196a73b src/HOL/Tools/Nitpick/nitpick_commands.ML
--- 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
diff -r 824c48a539c9 -r e872d196a73b src/HOL/Tools/Nitpick/nitpick_tests.ML
--- 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