src/Tools/subtyping.ML

 
 
 (* outer syntax commands *)
 
 val _ =
-  Outer_Syntax.command @{command_spec "print_coercions"}
+  Outer_Syntax.command @{command_keyword print_coercions}
     "print information about coercions"
     (Scan.succeed (Toplevel.keep (print_coercions o Toplevel.context_of)));
 
 end;