src/HOL/Tools/BNF/bnf_lfp.ML

   in
     timer; (fp_res, lthy')
   end;
 
 val _ =
-  Outer_Syntax.local_theory @{command_spec "datatype"} "define inductive datatypes"
+  Outer_Syntax.local_theory @{command_keyword datatype} "define inductive datatypes"
     (parse_co_datatype_cmd Least_FP construct_lfp);
 
 val _ = Theory.setup (fp_antiquote_setup @{binding datatype});
 
 end;