X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/cd4a9a598f4ae2cbaf4503b40d7f7f1b3931fd53..2f7a96b58f10a7f4e10f6fe1aa3c76e075b7c099:/src/print-xml.c

diff --git a/src/print-xml.c b/src/print-xml.c
index 73a18af5..da8bfcab 100644
--- a/src/print-xml.c
+++ b/src/print-xml.c
@@ -429,8 +429,9 @@ print_grammar (FILE *out, int level)
 	item_number *rhsp;
 
 	xml_printf (out, level + 2,
-		    "<terminal number=\"%d\" name=\"%s\">",
-		    i, xml_escape (tag));
+		    "<terminal symbol-number=\"%d\" token-number=\"%d\""
+                    " name=\"%s\">",
+		    token_translations[i], i, xml_escape (tag));
 
 	for (r = 0; r < nrules; r++)
 	  for (rhsp = rules[r].rhs; *rhsp >= 0; rhsp++)
@@ -465,7 +466,7 @@ print_grammar (FILE *out, int level)
 	}
 
       xml_printf (out, level + 2,
-		  "<nonterminal number=\"%d\" name=\"%s\">",
+		  "<nonterminal symbol-number=\"%d\" name=\"%s\">",
 		  i, xml_escape (tag));
 
       if (left_count > 0)