From c5808568ba7a3edf95c2f75edc9eca438e3bc2e4 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 4 Aug 2014 15:41:22 +0200
Subject: [PATCH] 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 b1513262cd7..16f666bda54 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,7 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2014/08/04] Fix bug #1831 about argc and argv.
 -* E-ACSL       [2014/07/08] Fix bug about using some part of the
 	        (Frama-C) libc which prevents linking of the generated C code.
 -* E-ACSL       [2014/07/19] Fix bug #1836 about one-off error when
-- 
GitLab