From 17df8863fd5034d7bccdf0ae8e9dde8a2e7aa364 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 2 Nov 2020 10:52:21 +0100
Subject: [PATCH] [wp] More robust prover filter
---
src/plugins/wp/Why3Provers.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/wp/Why3Provers.ml b/src/plugins/wp/Why3Provers.ml
index 3c9a5f797a6..99f1f1e252d 100644
--- a/src/plugins/wp/Why3Provers.ml
+++ b/src/plugins/wp/Why3Provers.ml
@@ -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 _
--
GitLab