compile
authorblanchet
Fri Jan 31 10:34:20 2014 +0100 (2014-01-31)
changeset 55203e872d196a73b
parent 55202 824c48a539c9
child 55204 345ee77213b5
child 55205 8450622db0c5
compile
src/HOL/Tools/Nitpick/nitpick_commands.ML
src/HOL/Tools/Nitpick/nitpick_tests.ML
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_commands.ML	Fri Jan 31 10:23:32 2014 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML	Fri Jan 31 10:34:20 2014 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4    val default_params : theory -> (string * string) list -> params
     1.5  end;
     1.6  
     1.7 -structure Nitpick_Commands : NITPICK_Commands =
     1.8 +structure Nitpick_Commands : NITPICK_COMMANDS =
     1.9  struct
    1.10  
    1.11  open Nitpick_Util
     2.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Jan 31 10:23:32 2014 +0100
     2.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Jan 31 10:34:20 2014 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -Nitpick_Commands(*  Title:      HOL/Tools/Nitpick/nitpick_tests.ML
     2.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_tests.ML
     2.6      Author:     Jasmin Blanchette, TU Muenchen
     2.7      Copyright   2008, 2009, 2010
     2.8  
     2.9 @@ -10,7 +10,7 @@
    2.10    val run_all_tests : unit -> unit
    2.11  end;
    2.12  
    2.13 -structure Nitpick_Tests =
    2.14 +structure Nitpick_Tests : NITPICK_TESTS =
    2.15  struct
    2.16  
    2.17  open Nitpick_Util