diff -r a241eadc0e3f -r 3315c551fe6e src/HOL/Tools/Nitpick/nitpick_commands.ML
--- 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;