X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/a0de5091fc13a2fe53f72e6b2d3054b745d9dd8a..d0ee410565c9d7bc876af42583ee092568f44fa8:/src/print-xml.c

diff --git a/src/print-xml.c b/src/print-xml.c
index cbe71a16..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 type=\"%d\" symbol=\"%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 type=\"%d\" symbol=\"%s\">",
+		  "<nonterminal symbol-number=\"%d\" name=\"%s\">",
 		  i, xml_escape (tag));
 
       if (left_count > 0)