# HG changeset patch
# User wenzelm
# Date 1517081202 -3600
# Node ID 30ecd3958bc3a2e876f94504c75b0ef72cc35e53
# Parent  add9a9f6a29020846de737d2014b7245b5fc38ad
tuned;

diff -r add9a9f6a290 -r 30ecd3958bc3 src/Pure/Syntax/parser.ML
--- 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