summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/main.c b/main.c
index dd06aa4..4e8251e 100644
--- a/main.c
+++ b/main.c
@@ -396,6 +396,8 @@ main (argc, argv, envp)
PATH_VAR (current_directory);
char *directory_before_chdir;
+mcheck(0);
+
default_goal_file = 0;
reading_filename = 0;
reading_lineno_ptr = 0;