2007-11-08 Paolo Bonzini <bonzini@gnu.org>

[bison.git] / src / print-xml.c

diff --git a/src/print-xml.c b/src/print-xml.c
index cbe71a161c4ef8106ba814560a9ada2591a05f7f..da8bfcabd8e1dae914e2e24355794fe1a78bbb82 100644 (file)
--- 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)