From ba2791627382250b43374779640e6ca243b79dcb Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 25 Oct 2017 15:54:52 +0200
Subject: [PATCH] [changelog] minor improvement

---
 src/plugins/e-acsl/doc/Changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index aeb4c51e66f..b080ed4c2a5 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -21,7 +21,7 @@
 -  E-ACSL       [2017/05/29] Add --fail-with-code option to e-acsl.gcc.sh
 -  E-ACSL       [2017/05/19] Add --temporal option to e-acsl.gcc.sh
 -  E-ACSL       [2017/05/19] New detection of temporal errors in E-ACSL
-	        (disabled by default)
+	        through -e-acsl-temporal-validity (disabled by default)
 -  E-ACSL       [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh
 -  E-ACSL       [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh
 -  E-ACSL       [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing
-- 
GitLab