From 42614160c20764b443d082083740e8dcc6cf2f78 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Fri, 15 Apr 2022 13:40:15 +0100 Subject: [PATCH] Adapt to new mechanism for loading topdirs.cmi --- src/lib/uTop_main.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index 072895e..07da94a 100644 --- 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;