Turn off %{source,header}_extension feature.

[bison.git] / src / files.h

diff --git a/src/files.h b/src/files.h
index 3c1b2f064a79fe73f873394083520bfefedbc66a..7ffaf9580e149bb6e84e1aba4934e7bca1a6dc15 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -62,9 +62,6 @@ extern struct obstack graph_obstack;
 extern char *infile;
 extern char *attrsfile;
 
-extern const char *src_extension;
-extern const char *header_extension;
-
 void open_files PARAMS((void));
 
 void output_files PARAMS((void));