diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d47f3ef037ef8ffb6449bd85bac690a6436b9582..d548c07e389d43c27bb25ef058a5b39c69fd5ab5 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.