src/HOL/Tools/Nitpick/nitpick_isar.ML

             "set and display the default parameters for Nitpick"
             Keyword.thy_decl parse_nitpick_params_command
 
 val auto_nitpick = pick_nits [] true 1 0
 
-val setup = Auto_Tools.register_tool (auto, auto_nitpick)
+val setup = Try.register_tool (auto, auto_nitpick)
 
 end;