From 91d7e9497a3deb40cc0652ad9ebed04de0e9a2c0 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@gmail.com>
Date: Fri, 2 Sep 2022 09:07:05 +0200
Subject: [PATCH] [e-acsl] update changelog
---
src/plugins/e-acsl/doc/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 49ca8b5c56c..887096d1497 100644
--- 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)
--
GitLab