From f6c47e3167d029b4a0078ba42fdb86998d778050 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 28 Nov 2019 19:08:37 +0100
Subject: [PATCH] [E-ACSL:doc] better man for --external-assert

---
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 4 ++--
 1 file changed, 2 insertions(+), 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 530649ad13d..1fad5fba936 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -176,8 +176,8 @@ Trigger failure if a NULL-pointer is used as an input to free function
 On assertion failure exit with the given integer code intead of raising an abort
 signal
 .TP
-.B --external-assert
-Set it if you provide your own implementation of e_acsl_assert
+.B --external-assert=\fI<FILE>
+the filename that contains your own implementation of __e_acsl_assert
 .TP
 .B -m, --memory-model=\fI<model>
 memory model (i.e., a runtime library for checking memory related annotations)
-- 
GitLab