diff --git a/src/plugins/eva/engine/transfer_logic.mli b/src/plugins/eva/engine/transfer_logic.mli
index 602cc5f7ebc783575d1bdc59520432369944b836..5cce864ef90908be7a9c194f25e93d63da904c6b 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: