From 518f80e01e28f56f62cc9b8c753f1899114c5b8f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 27 Aug 2020 16:12:20 +0200
Subject: [PATCH] [e-acsl] update man page

---
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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 d4eb7bdfe50..e4c6801d21f 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -206,8 +206,7 @@ executable found in the system path is used.
 .TP
 .B --then
 separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual
-launch of the \fBE-ACSL\fP plugin. Prepends \fB-e-acsl-prepare\fP to the list
-of options passed to \fBFrama-C\fP.
+launch of the \fBE-ACSL\fP plugin.
 .TP
 .B --e-acsl-extra=\fI<OPTS>
 add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP
-- 
GitLab