diff --git a/src/lib/uTop.ml b/src/lib/uTop.ml index 61eeb8ee..8510ac2c 100644 --- a/src/lib/uTop.ml +++ b/src/lib/uTop.ml @@ -857,7 +857,7 @@ let () = let get_load_path () = Load_path.get_paths () #if OCAML_VERSION >= (5, 0, 0) let set_load_path path = - Load_path.init path ~auto_include:(fun _ _ -> raise Not_found) + Load_path.init path ~auto_include:Load_path.no_auto_include #else let set_load_path path = Load_path.init path #endif diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index 49d1e2a6..81e4f2af 100644 --- a/src/lib/uTop_main.ml +++ b/src/lib/uTop_main.ml @@ -1371,9 +1371,10 @@ let emacs_mode = ref false let preload = ref [] let prepare () = - Toploop.set_paths (); #if OCAML_VERSION >= (5, 0, 0) - Load_path.(init ~auto_include:(fun _ _ -> raise Not_found) (get_paths ())); + Toploop.set_paths ~auto_include:Load_path.no_auto_include (); +#else + Toploop.set_paths (); #endif try let ok =