changeset 55203 | e872d196a73b |
parent 55199 | ba93ef2c0d27 |
child 55888 | cac1add157e8 |
--- 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