diff options
Diffstat (limited to 'toplevel/mltop.ml')
| -rw-r--r-- | toplevel/mltop.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml index 357c5482f..ab3636956 100644 --- a/toplevel/mltop.ml +++ b/toplevel/mltop.ml @@ -165,7 +165,7 @@ let add_path ~unix_path:dir ~coq_root:coq_dirpath ~implicit = if exists_dir dir then begin add_ml_dir dir; - Loadpath.add_load_path dir ~root:true ~implicit coq_dirpath + Loadpath.add_load_path dir ~implicit coq_dirpath end else msg_warning (str ("Cannot open " ^ dir)) @@ -189,9 +189,9 @@ let add_rec_path ~unix_path ~coq_root ~implicit = let dirs = List.map_filter convert_dirs dirs in let () = add_ml_dir unix_path in let add (path, dir) = - Loadpath.add_load_path path ~root:false ~implicit dir in + Loadpath.add_load_path path ~implicit dir in let () = List.iter add dirs in - Loadpath.add_load_path unix_path ~root:true ~implicit coq_root + Loadpath.add_load_path unix_path ~implicit coq_root else msg_warning (str ("Cannot open " ^ unix_path)) |