--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML Fri Dec 03 08:40:47 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML Fri Dec 03 09:55:45 2010 +0100
@@ -383,9 +383,8 @@
"set and display the default parameters for Nitpick"
Keyword.thy_decl parse_nitpick_params_command
-fun auto_nitpick state =
- if not (!auto) then (false, state) else pick_nits [] true 1 0 state
+val auto_nitpick = pick_nits [] true 1 0
-val setup = Auto_Tools.register_tool ("nitpick", auto_nitpick)
+val setup = Auto_Tools.register_tool (auto, auto_nitpick)
end;