src/HOL/Tools/Nitpick/nitpick_isar.ML

             "set and display the default parameters for Nitpick"
             Keyword.thy_decl parse_nitpick_params_command
 
 fun try_nitpick auto = pick_nits [] (if auto then Auto_Try else Try) 1 0
 
-val setup = Try.register_tool (nitpickN, (auto, try_nitpick))
+val setup = Try.register_tool (nitpickN, (50, auto, try_nitpick))
 
 end;