src/print-xml.c (print_grammar): Renamed <terminal> and <nonterminal>

attributes: "type" to "number" and "symbol" to "name".

diff --git a/src/print-xml.c b/src/print-xml.c
index cbe71a161c4ef8106ba814560a9ada2591a05f7f..73a18af5f74c8de54dc37a2f33b3edf6dedc3450 100644 (file)
--- a/src/print-xml.c
+++ b/src/print-xml.c
@@ -429,7 +429,7 @@ print_grammar (FILE *out, int level)
        item_number *rhsp;
 
        xml_printf (out, level + 2,
        item_number *rhsp;
 
        xml_printf (out, level + 2,

-                   "<terminal type=\"%d\" symbol=\"%s\">",
+                   "<terminal number=\"%d\" name=\"%s\">",

                    i, xml_escape (tag));
 
        for (r = 0; r < nrules; r++)
                    i, xml_escape (tag));
 
        for (r = 0; r < nrules; r++)


@@ -465,7 +465,7 @@ print_grammar (FILE *out, int level)
        }
 
       xml_printf (out, level + 2,
        }
 
       xml_printf (out, level + 2,

-                 "<nonterminal type=\"%d\" symbol=\"%s\">",
+                 "<nonterminal number=\"%d\" name=\"%s\">",

                  i, xml_escape (tag));
 
       if (left_count > 0)
                  i, xml_escape (tag));
 
       if (left_count > 0)