--- a/src/Pure/Syntax/parser.ML Sat Jan 26 22:14:07 2008 +0100
+++ b/src/Pure/Syntax/parser.ML Sat Jan 26 23:15:33 2008 +0100
@@ -797,7 +797,7 @@
val nts =
fold (fn (_, _, _, Nonterminal nt :: _, _, _) => insert (op =) nt | _ => I)
(Array.sub (stateset, i - 1)) []
- |> map (fn (a, prec) => nt_name a ^ "(" ^ signed_string_of_int prec ^ ")");
+ |> map (fn (a, prec) => nt_name a ^ "[" ^ signed_string_of_int prec ^ "]");
val msg =
(if null toks then Pretty.str "Inner syntax error: unexpected end of input"