From 47eb510b95bb3a4fa0fee7cbc45e9bf20ed40fa1 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 16 Mar 2020 11:52:36 +0100
Subject: [PATCH] =?UTF-8?q?[eacsl:doc]=C2=A0Update=20changelog?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 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 64146494153..56dcf3e543b 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
 #   configure	configure
 ###############################################################################
 
+-* E-ACSL       [2020/03/16] Fix #?1386 and frama-c/e-acsl#91 about the tracking
+                of variables declared inside the body of switches.
 -  E-ACSL       [2020/02/09] Improve verdict messages emitted by e_acsl_assert.
 -* E-ACSL       [2020/01/06] Fix typing bug in presence of variable-length
 	        arrays that may lead to incorrect generated code.
-- 
GitLab