Adapt to new mechanism for loading topdirs.cmi

ocaml-community · Apr 16, 2022 · 4261416 · 4261416
1 parent 5d72a0a
commit 4261416
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml
@@ -1596,6 +1596,9 @@ let protocol_version = 1
 
 let main_aux ~initial_env =
   Arg.parse args file_argument usage;
+#if OCAML_VERSION >= (5, 0, 0)
+  Topcommon.load_topdirs_signature ();
+#endif
   if not (prepare ()) then exit 2;
   if !emacs_mode then begin
     Printf.printf "protocol-version:%d\n%!" protocol_version;