From e04471a38e4875c14409677da0348fe292292d41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 1 Jun 2022 15:45:59 +0200
Subject: [PATCH] [wp] use Server async call for Qed
---
src/plugins/wp/prover.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/prover.ml b/src/plugins/wp/prover.ml
index ab3da9f90b1..b92b9cdec54 100644
--- a/src/plugins/wp/prover.ml
+++ b/src/plugins/wp/prover.ml
@@ -76,7 +76,7 @@ let run_prover wpo ?config ?(mode=Batch) ?progress ?result prover =
Task.return (VCS.is_valid res)
let simplify ?start ?result wpo =
- Task.call
+ Server.Main.async
(fun wpo ->
let r = Wpo.get_result wpo VCS.Qed in
VCS.( r.verdict == Valid ) ||
--
GitLab