src/Pure/ML/ml_antiquotations.ML

 
 local
 
 fun make_keywords ctxt =
   Thy_Header.get_keywords' ctxt
-  |> Keyword.no_command_keywords
+  |> Keyword.no_major_keywords
   |> Keyword.add_major_keywords ["typ", "term", "prop", "ctyp", "cterm", "cprop"];
 
 val parse_inst =
   Parse.position (Parse.type_ident >> pair true || Parse.name >> pair false) --
     (Parse.$$$ "=" |-- Parse.!!! Parse.embedded_ml) >> (fn (((b, a), pos), ml) => (b, ((a, pos), ml)));