From 0f8749e2486073dddba766f38cfe3b4615ca2f1c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 29 Apr 2019 15:33:43 +0200
Subject: [PATCH] changelog

---
 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 d47f3ef037e..d548c07e389 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
 #   configure	configure
 ###############################################################################
 
+-  E-ACSL       [2019/04/29] Support for logic functions and predicates
+	        without labels.
 -  runtime      [2019/02/26] The behavior of __e_acsl_assert now depends on the
 	        runtime value of the global variable __e_acsl_sound_verdict:
 	        if 0, it means that its verdict is possibly incorrect.
-- 
GitLab