Commit 17df8863 authored by Allan Blanchard's avatar Allan Blanchard

[wp] More robust prover filter

parent 3c57dedd
......@@ -63,8 +63,7 @@ type t = Why3.Whyconf.prover
let find_opt s =
try
let config = Lazy.force cfg in
let filter = Why3.Whyconf.parse_filter_prover s in
let filter = Why3.Whyconf.filter_prover_with_shortcut config filter in
let filter = Why3.Whyconf.parse_filter_prover (String.lowercase_ascii s) in
Some ((Why3.Whyconf.filter_one_prover config filter).Why3.Whyconf.prover)
with
| Why3.Whyconf.ProverNotFound _
......
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