From 0fdc8e56f9c7dcff18d345a10a2b004be17d6623 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 12 Sep 2019 10:52:19 +0200
Subject: [PATCH] fix comment
---
src/plugins/e-acsl/src/main.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 6727db9088c..60999f730df 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
--
GitLab