From 9af1aab768077ee5861cf8bf54bcc1636e709838 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 10 Jul 2020 09:25:01 +0200
Subject: [PATCH] [e-acsl] changelog

---
 src/plugins/e-acsl/doc/Changelog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 3acd478d338..ca5e4790dc3 100644
--- 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       [2020-07-10] Fix translation of trange (incorrect length).
 -* E-ACSL       [2020-07-09] Decrease the number of allocated blocks when one
 	        block is freed.
 -  E-ACSL       [2020-06-19] Add support of bitwise operators for C integers.
-- 
GitLab