diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 6727db9088ce4336e4ac7b53d6566653449fe51f..60999f730df471f1276a62aef2fa435c41ecca4d 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -167,7 +167,7 @@ let generate_code =
                           in
                           Loops.apply_after_transformation prj;
                           (* remove the RTE's results computed from E-ACSL:
-                             their are partial and associated with the wrong
+                             they are partial and associated with the wrong
                              kernel function (the one of the old project). *)
                           let selection =
                             State_selection.with_dependencies !Db.RteGen.self