From 4c08afeff84731963b06d3b3ce885d798a3476a3 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 24 Mar 2014 10:37:26 +0100
Subject: [PATCH] Changelog for bug #1700

---
 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 1e53bae42cf..78d485f3c20 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2014/03/17] Fix bug #1700 about non-ISO empty struct.
+
 ###############################
 Plugin E-ACSL 0.4 Neon_20140301
 ###############################
-- 
GitLab