diff options
Diffstat (limited to 'toplevel/coqinit.ml')
| -rw-r--r-- | toplevel/coqinit.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index 83789b50c8..7ea045136c 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -81,7 +81,7 @@ let init_load_path () = if Sys.file_exists user_contrib then Mltop.add_path user_contrib Nameops.default_root_prefix; (* then standard library *) - let dirs = "states" :: dev @ [ "theories"; "tactics"; "contrib" ] in + let dirs = "states" :: dev @ [ "theories"; "tactics"; "contrib"; "ide" ] in List.iter (fun s -> coq_add_rec_path (Filename.concat coqlib s)) dirs; let camlp4 = getenv_else "CAMLP4LIB" Coq_config.camlp4lib in add_ml_include camlp4; |