diff --git a/src/kernel_internals/runtime/system_config.ml.in b/src/kernel_internals/runtime/system_config.ml.in index 874ba2784e4bafd506b17874e1694eb7ba4f97f2..2b7603df5668b699624ab649e439058fe9cfc5dc 100644 --- a/src/kernel_internals/runtime/system_config.ml.in +++ b/src/kernel_internals/runtime/system_config.ml.in @@ -62,6 +62,7 @@ module Plugins = struct try load p with e -> + (* We don't have access to Kernel's log mechanisms here. *) Format.printf "Warning: failed to load plugin '%s' (exception: %s)@." p (Printexc.to_string e); Format.printf " Try recompiling it or \