Alternate proposed API for toplevel

ocaml-community · Jun 7, 2022 · 230a5b2 · 230a5b2
1 parent e8fe890
commit 230a5b2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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 =