diff options
Diffstat (limited to 'toplevel/coqtop.ml')
-rw-r--r-- | toplevel/coqtop.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index ecd9cafac..b104ef4c8 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -23,7 +23,7 @@ let fatal_error info = let get_version_date () = try - let coqlib = Envars.coqlib Errors.error in + let coqlib = Envars.coqlib ~fail:Errors.error in let ch = open_in (Filename.concat coqlib "revision") in let ver = input_line ch in let rev = input_line ch in @@ -295,7 +295,9 @@ let parse_args arglist = | "-coqlib" :: d :: rem -> Flags.coqlib_spec:=true; Flags.coqlib:=d; parse rem | "-coqlib" :: [] -> usage () - | "-where" :: _ -> print_endline (Envars.coqlib Errors.error); exit (if !filter_opts then 2 else 0) + | "-where" :: _ -> + print_endline (Envars.coqlib ~fail:Errors.error); + exit (if !filter_opts then 2 else 0) | ("-config"|"--config") :: _ -> Usage.print_config (); exit (if !filter_opts then 2 else 0) |