From a5f52008dac440e7c904e6e32c85a7381c09f96d Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 11 Oct 2022 15:21:31 +0200
Subject: [PATCH] [kernel] fixes the description of -load-module option
---
src/kernel_services/plugin_entry_points/kernel.ml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index ca7b9bb50fd..a45fb58818f 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -869,10 +869,9 @@ module LoadModule =
let module_name = "LoadModule"
let arg_name = "SPEC,..."
let help = "Dynamically load modules. \
- Each <SPEC> can be an OCaml source or object file, with \
+ Each <SPEC> can be object file, with \
or without extension, or a Findlib package. \
- Loading order is preserved and \
- additional dependencies can be listed in *.depend files."
+ Loading order is preserved, but after plugins and libraries."
end)
let () = Parameter_customize.set_group saveload
--
GitLab