Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 27 Jan 2018 20:26:42 +0100
changeset 67518 30ecd3958bc3
parent 67517 add9a9f6a290
child 67519 6905b156a030
tuned;
src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/parser.ML	Sat Jan 27 19:57:37 2018 +0100
+++ b/src/Pure/Syntax/parser.ML	Sat Jan 27 20:26:42 2018 +0100
@@ -395,7 +395,7 @@
 fun pretty_gram (Gram {tags, prods, chains, ...}) =
   let
     val print_nt = the o Inttab.lookup (Inttab.make (map swap (Symtab.dest tags)));
-    fun print_pri p = if p < 0 then "" else Symbol.make_sup ("(" ^ signed_string_of_int p ^ ")");
+    fun print_pri p = if p < 0 then "" else Symbol.make_sup ("(" ^ string_of_int p ^ ")");
 
     fun pretty_symb (Terminal (Lexicon.Token (kind, s, _))) =
           if kind = Lexicon.Literal then Pretty.quote (Pretty.keyword1 s) else Pretty.str s
isabelle