diff options
Diffstat (limited to 'lib/envars.ml')
| -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 e5c938037..611b81a7e 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -38,7 +38,7 @@ let guess_coqlib () = in if Sys.file_exists (Filename.concat coqlib file) then coqlib - else Util.error "cannot guess a path for Coq libraries; please use -coqlib option") + else Errors.error "cannot guess a path for Coq libraries; please use -coqlib option") let coqlib () = if !Flags.coqlib_spec then !Flags.coqlib else |