diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index ce93df0d9bec0532b42c14e7fb9742d785bcad18..4f48286fafd3600f5b76bfa93a33fafba53c0c7a 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-! E-ACSL       [2020-08-28] Remove option -e-acsl-prepare-ast.
+-! E-ACSL       [2020-08-28] Remove option -e-acsl-check.
 -  E-ACSL       [2020-08-07] Add support for logical array comparison
                 (frama-c/e-acsl#99).
 -  E-ACSL       [2020-07-28] Add support of bitwise operators