[e-acsl] update changelog

91d7e949 · Thibaut Benjamin · 072783ad · 91d7e949
Commit 91d7e949 authored 2 years ago by Thibaut Benjamin
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################

+-* E-ACSL       [2022-11-08] Fix clashing name when a function with contract and a
+                logic function have the same name (frama-c/eacsl#204)
 - E-ACSL        [2022-11-08] Add support for functions returning a rational
 -* E-ACSL       [2022-11-08] Fix assign clause and result as extra argument for functions
                returning a structure (frama-c/frama-c#1139)