diff options
author | Wojciech Polak <polak@gnu.org> | 2007-10-17 18:11:03 +0000 |
---|---|---|
committer | Wojciech Polak <polak@gnu.org> | 2007-10-17 18:11:03 +0000 |
commit | cd4a9a598f4ae2cbaf4503b40d7f7f1b3931fd53 (patch) | |
tree | 1793e19f25fa55eb367e52ca04fed1dec58fa083 | |
parent | a0de5091fc13a2fe53f72e6b2d3054b745d9dd8a (diff) | |
download | bison-cd4a9a598f4ae2cbaf4503b40d7f7f1b3931fd53.tar.gz |
src/print-xml.c (print_grammar): Renamed <terminal> and <nonterminal>
attributes: "type" to "number" and "symbol" to "name".
-rw-r--r-- | src/print-xml.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/print-xml.c b/src/print-xml.c index cbe71a16..73a18af5 100644 --- 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, - "<terminal type=\"%d\" symbol=\"%s\">", + "<terminal number=\"%d\" name=\"%s\">", 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, - "<nonterminal type=\"%d\" symbol=\"%s\">", + "<nonterminal number=\"%d\" name=\"%s\">", i, xml_escape (tag)); if (left_count > 0) |