--- a/src/HOL/Tools/Nitpick/nitpick_commands.ML Wed Oct 13 10:35:01 2021 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML Wed Oct 13 11:04:35 2021 +0200
@@ -375,8 +375,9 @@
"set and display the default parameters for Nitpick"
(parse_params #>> nitpick_params_trans)
-fun try_nitpick auto = pick_nits [] (if auto then Auto_Try else Try) 1 0
-
-val _ = Try.tool_setup (nitpickN, (50, \<^system_option>\<open>auto_nitpick\<close>, try_nitpick))
+val _ =
+ Try.tool_setup
+ {name = nitpickN, weight = 50, auto_option = \<^system_option>\<open>auto_nitpick\<close>,
+ body = fn auto => pick_nits [] (if auto then Auto_Try else Try) 1 0}
end;