Regenerate.

[bison.git] / src / files.c

diff --git a/src/files.c b/src/files.c
index abe86463d6a3818b288515a8d3844f5d0df3b574..00841dd379d125983190fb7f998d0a512a445004 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -32,6 +32,7 @@
 #include "files.h"
 #include "getargs.h"
 #include "gram.h"
+#include "stdio-safer.h"
 
 /* From basename.c.  Almost a lie, as it returns a char *. */
 const char *base_name (char const *name);
@@ -65,9 +66,9 @@ static char *full_base_name = NULL;
 char *short_base_name = NULL;
 
 /* C source file extension (the parser source).  */
-const char *src_extension = NULL;
+static char const *src_extension = NULL;
 /* Header file extension (if option ``-d'' is specified).  */
-const char *header_extension = NULL;
+static char const *header_extension = NULL;
 \f
 /*-----------------------------------------------------------------.
 | Return a newly allocated string composed of the concatenation of |