diff options
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/checker.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/checker/checker.ml b/checker/checker.ml index 0ae94444da..1c7ace12f0 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -102,19 +102,11 @@ let set_default_rec_include d = check_coq_overwriting p; push_rec_include (d, p) -let safe_getenv_def var def = - try - Sys.getenv var - with Not_found -> - warning ("Environment variable "^var^" not found: using '"^def^"' ."); - flush_all(); - def - (* Initializes the LoadPath according to COQLIB and Coq_config *) let init_load_path () = let coqlib = (* variable COQLIB overrides the default library *) - safe_getenv_def "COQLIB" + getenv_else "COQLIB" (if Coq_config.local || !Flags.boot then Coq_config.coqtop else Coq_config.coqlib) in let user_contrib = coqlib/"user-contrib" in |