From 769d3b2c06cfbbbca376f4059eb0bfb212f91a0e Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 14 Jun 2021 11:18:42 +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 b68a16c8ae1..977ef210fd9 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-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