Commit ffa04f83 authored by François Bobot's avatar François Bobot
Browse files

[Why3session] Fix `why3 session rm --help`

parent 06f3a176
......@@ -32,7 +32,8 @@ let spec =
Arg.Unit (fun () -> set_remove Not_valid ();
set_filter_verified_goal FT_Yes),
" remove unsuccessful proof attempts \
associated to proved goals (same as --filter-verified-goal --conservative)")::
associated to proved goals \
(same as --filter-verified-goal yes --conservative)")::
("--interactive",
Arg.Unit (set_remove Interactive), " ask before replacing proof_attempt")::
("-i",
......
Markdown is supported
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