diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 48c889474c..4013fcd0e9 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -152,6 +152,9 @@ let parse_args () = | "-load-vernac-object" :: f :: rem -> add_vernac_obj f; parse rem | "-load-vernac-object" :: [] -> usage () + | "-dump-glob" :: f :: rem -> dump_into_file f; parse rem + | "-dump-glob" :: [] -> usage () + | "-require" :: f :: rem -> add_require f; parse rem | "-require" :: [] -> usage () |