Skip to content
Snippets Groups Projects
Commit 5d4ec9f6 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp/doc] typo Why3

parent bf61a240
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/wp_parameters.ml
+ 2
− 2
View file @ 5d4ec9f6
...@@ -589,7 +589,7 @@ module Provers = String_list ...@@ -589,7 +589,7 @@ module Provers = String_list
- 'none' (no prover run)\n\ - 'none' (no prover run)\n\
- 'script' (replay all session scripts)\n\ - 'script' (replay all session scripts)\n\
- 'tip' (replay or init scripts for failed goals)\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) end)
...@@ -600,7 +600,7 @@ module Interactive = String ...@@ -600,7 +600,7 @@ module Interactive = String
let arg_name = "mode" let arg_name = "mode"
let default = "batch" let default = "batch"
let help = 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\ - 'batch': check current proof (default)\n\
- 'update': check updated proof\n\ - 'update': check updated proof\n\
- 'edit': edit current proof\n\ - 'edit': edit current proof\n\
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment