From a06eb4e20926f6ddd905412c7c7e9abc0ce2f8d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 24 Oct 2022 11:11:38 +0200
Subject: [PATCH] [kernel] Fixes a typo in -load-module error message.
---
src/kernel_services/plugin_entry_points/dynamic.ml | 4 ++--
src/plugins/eva/gui/gui_callstacks_manager.ml | 2 +-
src/plugins/scope/datascope.ml | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index a57e0d3ed55..d9c06828a1b 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 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`)."
+ Klog.error "Script loading has 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 *)
@@ -142,7 +142,7 @@ let load_module m =
| None ->
match is_file base ".ml" with
| Some _ ->
- Klog.error "Script loading as been deprecated in favor of the command frama-c-init-plugin"
+ Klog.error "Script loading has been deprecated in favor of the command frama-c-init-plugin"
| None ->
if is_package m && Dune_site_plugins.V1.available m then load_packages [m]
else
diff --git a/src/plugins/eva/gui/gui_callstacks_manager.ml b/src/plugins/eva/gui/gui_callstacks_manager.ml
index c395857193f..0c86e8479d3 100644
--- a/src/plugins/eva/gui/gui_callstacks_manager.ml
+++ b/src/plugins/eva/gui/gui_callstacks_manager.ml
@@ -797,7 +797,7 @@ module Make (Input: Input) = struct
end;
add_focus_all_callstacks menu icon;
add_unfocus_callstacks menu icon;
- (* Popup the menu only if something as been added *)
+ (* Popup the menu only if something has been added *)
if Lazy.is_val menu then
let time = GtkMain.Main.get_current_event_time () in
(!!menu)#popup ~button:3 ~time
diff --git a/src/plugins/scope/datascope.ml b/src/plugins/scope/datascope.ml
index 65ad9b3a4f1..4c806545b62 100644
--- a/src/plugins/scope/datascope.ml
+++ b/src/plugins/scope/datascope.ml
@@ -609,7 +609,7 @@ let get_prop_scope_at_stmt kf stmt annot =
let s, m = get_prop_scope_at_stmt ~warn:true kf stmt annot in
s, list_proven m
-(* Currently lazy, because we need to define it after Value as been registered
+(* Currently lazy, because we need to define it after Value has been registered
in Db *)
let emitter = lazy (
let conv = List.map Typed_parameter.get in
--
GitLab