diff options
Diffstat (limited to 'yacc')
-rw-r--r-- | yacc/defs.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/yacc/defs.h b/yacc/defs.h index 8e19c4bf32..a0e742797d 100644 --- a/yacc/defs.h +++ b/yacc/defs.h @@ -69,8 +69,6 @@ /* defines for constructing filenames */ -#define CODE_SUFFIX ".code.c" -#define DEFINES_SUFFIX ".tab.h" #define OUTPUT_SUFFIX ".ml" #define VERBOSE_SUFFIX ".output" #define INTERFACE_SUFFIX ".mli" |