Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_printer.ML
changeset 58854 b979c781c2db
parent 56812 baef1c110f12
child 59103 788db6d6b8a5 
--- a/src/Tools/Code/code_printer.ML	Fri Oct 31 21:48:40 2014 +0100
+++ b/src/Tools/Code/code_printer.ML	Fri Oct 31 22:02:49 2014 +0100
@@ -373,7 +373,7 @@
 
 fun read_mixfix s =
   let
-    val sym_any = Scan.one Symbol.is_regular;
+    val sym_any = Scan.one Symbol.not_eof;
     val parse = Scan.optional ($$ "!" >> K NOBR) BR -- Scan.repeat (
          ($$ "(" -- $$ "_" -- $$ ")" >> K (Arg NOBR))
       || ($$ "_" >> K (Arg BR))
isabelle