diff options
| -rw-r--r-- | toplevel/coqtop.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index e55d6be823..bc9f682623 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -233,6 +233,7 @@ let parse_args arglist = | "-compile-verbose" :: [] -> usage () | "-load-proofs" :: rem -> Flags.load_proofs := true; parse rem + | "-dont-load-proofs" :: rem -> Flags.load_proofs := false; parse rem | "-beautify" :: rem -> make_beautify true; parse rem |