diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 762adf44aa06fc165f05a076e37372a99738e20f..386e5b6343c61374c28348b0c5585bcc7da68126 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,8 +15,6 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--  E-ACSL       [2016/02/08] Added documentation for the e-acsl wrapper script
-	        to the E-ACSL user manual.
 o  E-ACSL       [2016/02/03] Added scripts/testrun.sh - a convenience wrapper
 	        around e-acsl-gcc.sh for use with testing.
 -* E-ACSL       [2016/01/15] Fix installation with custom --prefix.