diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index f8c4eff5eba91504deed0da7181f8cb476eed47a..8ca2fc45509d1c9495fbd02d4b97a81c43fcae87 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,7 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
+-* E-ACSL       [2016/07/13] Add an e-acsl-gcc.sh option (--print--models)
+	        allowing to print the names of the supported memory models.
+-* E-ACSL       [2016/05/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
           annotate the source program with memory-safety assertions prior to
           instrumentation.
 -  E-ACSL       [2016/05/23] Re-implementation of the type system which
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index fbce9931bcf00300153c7fa8f859b757c20762f9..73a08a9da7101ee065c7182248dd9392a39bc840 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -139,6 +139,9 @@ Valid arguments are:
 
 By default the Patricia trie  memory model is used.
 .TP
+.B --print-models
+Print the names of the supported memory models
+.TP
 .B -P, --production
 generate an optimized executable with all debug features disabled.
 Unoptimized executables (default) may lead to a significant