src/HOL/Tools/BNF/bnf_gfp.ML

   in
     timer; (fp_res, lthy')
   end;
 
 val _ =
-  Outer_Syntax.local_theory @{command_spec "codatatype"} "define coinductive datatypes"
+  Outer_Syntax.local_theory @{command_keyword codatatype} "define coinductive datatypes"
     (parse_co_datatype_cmd Greatest_FP construct_gfp);
 
 val _ = Theory.setup (fp_antiquote_setup @{binding codatatype});
 
 end;