From f8cdf3d46d56903a495f195f7423a84cae8052cd Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 30 Jul 2021 17:53:29 +0200
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 6b448f78944..b0a81804aef 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,9 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-07-30] Fix incorrect evaluation of quantified
+ predicates when a strict guard overlaps with the type of the
+ bound variable (unlikely in practice) (frama-c/e-acsl#149).
- E-ACSL [2021-07-06] Add support for the extended quantifier \sum.
-* E-ACSL [2021-06-22] Fix a crash that occured when using certain
combinations of nested blocks and annotations.
--
GitLab