Formerly main.c.~100~

2026-08-07 08:30:59 +00:00 · 1993-10-26 23:55:04 +00:00
parent 8cb881fa9e
commit c727af1bcc
1 changed files with 0 additions and 2 deletions
--- a/main.c
+++ b/main.c
@@ -396,8 +396,6 @@ 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;