diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 0778b7735..9e9c3436a 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -120,7 +120,8 @@ let parse_args () = | "-full" :: rem -> warning "option -full deprecated\n"; parse rem | "-batch" :: rem -> set_batch_mode (); parse rem - + | "-boot" :: rem -> boot := true; no_load_rc (); set_batch_mode (); + parse rem | "-outputstate" :: s :: rem -> set_outputstate s; parse rem | "-outputstate" :: [] -> usage () |