--- a/src/Doc/antiquote_setup.ML Wed Dec 03 11:37:51 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Wed Dec 03 11:50:58 2014 +0100
@@ -62,7 +62,8 @@
ML_Lex.read (ML_Syntax.print_string (ML_Lex.content_of tok))
| ml_functor _ = raise Fail "Bad ML functor specification";
-val is_name = ML_Lex.kind_of #> (fn kind => kind = ML_Lex.Ident orelse kind = ML_Lex.LongIdent);
+val is_name =
+ ML_Lex.kind_of #> (fn kind => kind = ML_Lex.Ident orelse kind = ML_Lex.Long_Ident);
fun ml_name txt =
(case filter is_name (ML_Lex.tokenize txt) of