From 5d4ec9f652b83adb4755438b169acf0944effee9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 19 Dec 2024 11:50:24 +0100
Subject: [PATCH] [wp/doc] typo Why3
---
src/plugins/wp/wp_parameters.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/wp_parameters.ml b/src/plugins/wp/wp_parameters.ml
index 1685d5cdbad..7b5a8a5d73c 100644
--- a/src/plugins/wp/wp_parameters.ml
+++ b/src/plugins/wp/wp_parameters.ml
@@ -589,7 +589,7 @@ module Provers = String_list
- 'none' (no prover run)\n\
- 'script' (replay all session scripts)\n\
- 'tip' (replay or init scripts for failed goals)\n\
- - '<why3-prover>' (any Why-3 prover, see -wp-detect)\n\
+ - '<why3-prover>' (any Why3 prover, see -wp-detect)\n\
"
end)
@@ -600,7 +600,7 @@ module Interactive = String
let arg_name = "mode"
let default = "batch"
let help =
- "WP mode for interactive Why-3 provers (eg: Coq):\n\
+ "WP mode for interactive Why3 provers (eg: Coq):\n\
- 'batch': check current proof (default)\n\
- 'update': check updated proof\n\
- 'edit': edit current proof\n\
--
GitLab