diff -r 343905de27b1 -r b8ffc3dc9e24 src/HOL/Tools/Nitpick/nitpick_commands.ML
--- a/src/HOL/Tools/Nitpick/nitpick_commands.ML	Mon Apr 06 16:30:44 2015 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML	Mon Apr 06 17:06:48 2015 +0200
@@ -374,7 +374,7 @@
                                       |> sort_strings |> cat_lines)))))
 
 val _ =
-  Outer_Syntax.command @{command_spec "nitpick"}
+  Outer_Syntax.command @{command_keyword nitpick}
     "try to find a counterexample for a given subgoal using Nitpick"
     (parse_params -- Scan.optional Parse.nat 1 >> (fn (params, i) =>
       Toplevel.unknown_proof o
@@ -383,7 +383,7 @@
           (Toplevel.proof_of state)))))
 
 val _ =
-  Outer_Syntax.command @{command_spec "nitpick_params"}
+  Outer_Syntax.command @{command_keyword nitpick_params}
     "set and display the default parameters for Nitpick"
     (parse_params #>> nitpick_params_trans)