From 9a8d6f9652cbcf50c554359cb9a4105f0e5b8526 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 2 Feb 2022 15:38:19 +0100
Subject: [PATCH] =?UTF-8?q?[eacsl]=C2=A0Fix=20comment?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
.../e-acsl/examples/ensuresec/json-output/ensuresec_ee.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c b/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
index 310c49c1c6c..783b66df8b4 100644
--- a/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
+++ b/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
@@ -89,7 +89,7 @@ static void *read_value(void *arg) {
usleep(100);
} while (!idx_written);
- // Acquire a read lock so that the specification can check `writte[idx]` and
+ // Acquire a read lock so that the specification can check `written[idx]` and
// `values[idx]`.
pthread_rwlock_rdlock(lock);
/*@ requires written[idx] == 1;
--
GitLab