[e-acsl] Update Changelog

4a983dcc · Felix Ridoux · 88562986 · 4a983dcc
Commit 4a983dcc authored 3 years ago by Felix Ridoux
--- 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