diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-10 17:05:50 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-13 17:48:42 +0200 |
| commit | e62984e17cad223448feddeccac0d40e1f604c31 (patch) | |
| tree | 9381260fc64dd7b53cf976ef55c70f2c2a291f88 | |
| parent | c8ca44cf328746636865834843744fea6f73d0d2 (diff) | |
Coqinit: look in toploop/ even if configured with -local
| -rw-r--r-- | toplevel/coqinit.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index d4257e561..e95f59f67 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -95,8 +95,8 @@ let init_load_path () = (* main loops *) if Coq_config.local || !Flags.boot then let () = Mltop.add_ml_dir (coqlib/"stm") in - Mltop.add_ml_dir (coqlib/"ide") - else Mltop.add_ml_dir (coqlib/"toploop"); + Mltop.add_ml_dir (coqlib/"ide"); + Mltop.add_ml_dir (coqlib/"toploop"); (* then standard library *) add_stdlib_path ~unix_path:(coqlib/"theories") ~coq_root ~with_ml:false; (* then plugins *) |