diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index b424006624..e55d6be823 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -232,7 +232,7 @@ let parse_args arglist = | "-compile-verbose" :: f :: rem -> add_compile true f; if not !glob_opt then Dumpglob.dump_to_dotglob (); parse rem | "-compile-verbose" :: [] -> usage () - | "-dont-load-proofs" :: rem -> Flags.dont_load_proofs := true; parse rem + | "-load-proofs" :: rem -> Flags.load_proofs := true; parse rem | "-beautify" :: rem -> make_beautify true; parse rem |