diff options
Diffstat (limited to 'contrib/interface')
-rw-r--r-- | contrib/interface/parse.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/interface/parse.ml b/contrib/interface/parse.ml index b551b143c..5de6060f0 100644 --- a/contrib/interface/parse.ml +++ b/contrib/interface/parse.ml @@ -370,7 +370,7 @@ Libobject.relax true; (let coqdir = try Sys.getenv "COQDIR" with Not_found -> - let coqdir = Coq_config.coqlib in + let coqdir = Envars.coqlib () in if Sys.file_exists coqdir then coqdir else |