src/ZF/Tools/inductive_package.ML

--- a/src/ZF/Tools/inductive_package.ML	Mon Apr 06 16:30:44 2015 +0200
+++ b/src/ZF/Tools/inductive_package.ML	Mon Apr 06 17:06:48 2015 +0200
@@ -595,7 +595,7 @@
 
 val _ =
   Outer_Syntax.command
-    (if coind then @{command_spec "coinductive"} else @{command_spec "inductive"})
+    (if coind then @{command_keyword coinductive} else @{command_keyword inductive})
     ("define " ^ co_prefix ^ "inductive sets") ind_decl;
 
 end;