Replace `%push-parser' and `%push-pull-parser' with

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

diff --git a/src/print-xml.h b/src/print-xml.h
index b0bbe19698dc7c2bf6e36fcf465dd5c5c5e24f09..6257f86154246a0ffc5fce63431b0d5ddade1c7e 100644 (file)
--- a/src/print-xml.h
+++ b/src/print-xml.h
@@ -22,7 +22,7 @@
 #ifndef PRINT_XML_H_
 # define PRINT_XML_H_
 
-void xml_puts (FILE *, int, char *);
+void xml_puts (FILE *, int, char const *);
 void xml_printf (FILE *, int, char const *, ...);
 char const *xml_escape_n (int n, char const *str);
 char const *xml_escape (char const *str);