diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/envars.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 0fd55d3fc5..b4c72b130e 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -82,7 +82,7 @@ let reldir instdir testfile oth = if Sys.file_exists (Filename.concat out testfile) then out else oth () let guess_coqlib fail = - let file = "states/initial.coq" in + let file = "theories/Init/Prelude.vo" in reldir (if Coq_config.arch = "win32" then ["lib"] else ["lib";"coq"]) file (fun () -> let coqlib = match Coq_config.coqlib with |