diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d548c07e389d43c27bb25ef058a5b39c69fd5ab5..7ba4c9affd746e83250072cf58ab0fd2dc5cbfba 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,10 @@
 #   configure	configure
 ###############################################################################
 
+##############################
+Plugin E-ACSL 19.0 (Potassium)
+##############################
+
 -  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