src/Pure/Thy/term_style.ML

--- a/src/Pure/Thy/term_style.ML	Wed Apr 13 17:00:02 2016 +0200
+++ b/src/Pure/Thy/term_style.ML	Wed Apr 13 18:01:05 2016 +0200
@@ -32,7 +32,7 @@
 (* style parsing *)
 
 fun parse_single ctxt =
-  Parse.token Parse.xname ::: Parse.args >> (fn src0 =>
+  Parse.token Parse.name ::: Parse.args >> (fn src0 =>
     let
       val (src, parse) = Token.check_src ctxt get_data src0;
       val (f, _) = Token.syntax (Scan.lift parse) src ctxt;