diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index fe612f710..64e98d641 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -246,6 +246,8 @@ let parse_args arglist = | "-debug" :: rem -> set_debug (); parse rem + | "-time" :: rem -> Vernac.time := true; parse rem + | "-compat" :: v :: rem -> Flags.compat_version := get_compat_version v; parse rem | "-compat" :: [] -> usage () |