From 6d71b9a504f374b0cc7f6fbf7940c13340d0bc3c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 17 Oct 2019 09:16:52 +0200
Subject: [PATCH] [WP/Doc] Removes option -wp-why3

---
 src/plugins/wp/doc/manual/wp_plugin.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 1d88e07505f..3d0330f4f5b 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -1023,7 +1023,6 @@ Support for \textsf{Why-3 IDE} is no longer provided.
   steps. This can be used as a machine-independent alternative to timeout.
 \item[\tt -wp-why3-opt='options,...'] provides additional options to the
   \verb+why3+ command.
-\item[\tt -wp-why3='<cmd>'] overrides the path to the \verb+why3+ command.
 \end{description}
 
 \paragraph{Example of using provers.}
-- 
GitLab