From 8b7b6949068d54aa1e918f4cac69987f6249b471 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 25 Sep 2024 16:28:10 +0200
Subject: [PATCH] [runtime] add comment indicating why we use Format directly
---
src/kernel_internals/runtime/system_config.ml.in | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/kernel_internals/runtime/system_config.ml.in b/src/kernel_internals/runtime/system_config.ml.in
index 874ba2784e..2b7603df56 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 \
--
GitLab