summaryrefslogtreecommitdiff
path: root/yacc
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-08-29 10:42:23 +0100
committerMark Shinwell <mshinwell@gmail.com>2017-08-29 10:42:23 +0100
commit82b3cdc6ee881001755ef880f38b5606ebc889a4 (patch)
tree848ea508be618514387f0445d78401ef157d802f /yacc
parent16d54d5cf3f27ef87f1db4e449670b70bcdd7dda (diff)
downloadocaml-82b3cdc6ee881001755ef880f38b5606ebc889a4.tar.gz
Restore 32bit compilation (#1295)
Diffstat (limited to 'yacc')
-rw-r--r--yacc/main.c3
1 files changed, 0 insertions, 3 deletions
diff --git a/yacc/main.c b/yacc/main.c
index ee5cb53b6f..9bb3786184 100644
--- a/yacc/main.c
+++ b/yacc/main.c
@@ -100,9 +100,6 @@ char *nullable;
#if !defined(HAS_MKSTEMP)
extern char *mktemp(char *);
#endif
-#ifdef _WIN32
-extern char *getenv(const char *);
-#endif
void done(int k)