From 4a983dcce1070f74a06f3c96a2b69c724c49d3c2 Mon Sep 17 00:00:00 2001
From: felix <felix.ridoux@ens-rennes.fr>
Date: Tue, 6 Jul 2021 17:02:35 +0200
Subject: [PATCH] [e-acsl] Update Changelog
---
src/plugins/e-acsl/doc/Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index e50e5b55446..d5e4963f652 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,7 @@
Plugin E-ACSL <next-release>
############################
+- 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.
-* E-ACSL [2021-06-16] Fix literal string replacements in function
--
GitLab