summaryrefslogtreecommitdiff
path: root/yacc
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2019-04-16 17:30:37 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2019-04-16 17:30:37 +0100
commitdd851027b1ed469c85ce6c00285695c1edcb643b (patch)
treec7628dcbc57ca7396718cec0ba786c3cc58450ca /yacc
parentac26bf0f56d70b11f208c4882ba8933a046f75cc (diff)
downloadocaml-dd851027b1ed469c85ce6c00285695c1edcb643b.tar.gz
Remove unused constants
Diffstat (limited to 'yacc')
-rw-r--r--yacc/defs.h2
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"