diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 3acd478d3389ed3bf7c734af005e5a9b76a6f84d..ca5e4790dc3a09f71da1e39c7297aa0adcfcdc82 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.