diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml index faf704b58d7f19724efc38cd906013b9ebefb140..a57e0d3ed55d8bf6a0b5e6723a1478d09ae32319 100644 --- a/src/kernel_services/plugin_entry_points/dynamic.ml +++ b/src/kernel_services/plugin_entry_points/dynamic.ml @@ -133,7 +133,7 @@ let load_module m = let base,ext = split_ext m in match ext with | ".ml" -> - Klog.error "Script loading as been deprecated in favor of the command frama-c-init-plugin" + Klog.error "Script loading as been deprecated in favor of the load of script libraries (see shell script `frama-c-build-scripts.sh` to build such a script library that can be loaded via the Frama-C option `-load-library`)." | _ -> begin (* load object or compile script or find package *)