From d7525ff4e6d968dbf007c7042aef21d0d8c29a3d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 15 Nov 2018 14:15:54 +0100
Subject: [PATCH] [changelog] better message
---
src/plugins/e-acsl/doc/Changelog | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 9897d0a71f4..567f7012139 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -23,7 +23,9 @@
Plugin E-ACSL 18.0 (Argon)
##########################
--* E-ACSL [2018/11/13] Fix typing bug for quantified variables.
+-* E-ACSL [2018/11/13] Fix typing bug in quantifications when the
+ guards of the quantifier variable cannot be represented into
+ its type.
-* runtime [2018/11/13] Fix bug #!2405 about memory initialization
in presence of GCC constructors.
-* E-ACSL [2018/10/23] Fix bug #2406 about monitoring of variables
--
GitLab