From b2eba78d860cc3b7c7f95e35fe63da63d841254e Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 16 Jun 2021 18:00:23 +0200
Subject: [PATCH] [eacsl] 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 977ef210fd9..de26a1699cd 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 [2021-06-16] Fix literal string replacements in function
+ arguments during a local initialization.
-* E-ACSL [2021-06-14] Fix pointer address on memory annotations with
range indices (frama-c/e-acsl#148).
-* E-ACSL [2021-06-04] Do not translate contracts of E-ACSL built-ins.
--
GitLab