* data/Makefile.am (dist_pkgdata_DATA): Remove push.c.

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

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