From c1a90b1d5ca39be15aa7d681c5f3c7843098c5f6 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 2 Mar 2017 16:01:51 +0100
Subject: [PATCH] changelog

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

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 05a83745c67..9a34457a950 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2017/03/02] Fix bts #1740 about incorrect monitoring of
+	        memory properties when early exiting a block through
+	        goto, break or continue.
 -* E-ACSL       [2017/03/01] Correct support of stdin, stdout and stderr
 	        in annotations.
 -* E-ACSL       [2017/02/24] Fix crash with casts from non-integral terms to
-- 
GitLab