From d11bea8308e208be0279cfa55942c00dcbab8fc5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 6 Aug 2024 10:32:06 +0000
Subject: [PATCH] [Eva] Fixes a typo in a comment.
---
src/plugins/eva/engine/transfer_logic.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/engine/transfer_logic.mli b/src/plugins/eva/engine/transfer_logic.mli
index 602cc5f7ebc..5cce864ef90 100644
--- a/src/plugins/eva/engine/transfer_logic.mli
+++ b/src/plugins/eva/engine/transfer_logic.mli
@@ -27,7 +27,7 @@ open Eval
val process_inactive_behaviors:
kinstr -> kernel_function -> behavior list -> unit
-(* Checks "calls" annotations at the given statement according to the infered
+(* Checks "calls" annotations at the given statement according to the inferred
list of functions at this point. Reduces the given list to the functions
referred to by "calls" annotations. *)
val check_calls_annotations:
--
GitLab