Skip to content
Snippets Groups Projects
Commit f82dd3e1 authored by Patrick Baudin's avatar Patrick Baudin Committed by François Bobot
Browse files

[kernel] fixes the error message when loading an ML source file

parent 6c48f892
No related branches found
No related tags found
No related merge requests found
...@@ -133,7 +133,7 @@ let load_module m = ...@@ -133,7 +133,7 @@ let load_module m =
let base,ext = split_ext m in let base,ext = split_ext m in
match ext with match ext with
| ".ml" -> | ".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 begin
(* load object or compile script or find package *) (* load object or compile script or find package *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment