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

[bison.git] / src / files.h

diff --git a/src/files.h b/src/files.h
index ea1a9146355acb02d08193d7c6c197df3b826aad..3a72193b6d8194374e44910ec90defaefa0af8e3 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -41,6 +41,9 @@ extern char *spec_verbose_file;
 /* File name specified for the output graph.  */
 extern char *spec_graph_file;
 
+/* File name specified for the xml output.  */
+extern char *spec_xml_file;
+
 /* File name specified with --defines.  */
 extern char *spec_defines_file;