From 34787ee2060bf02d1bde81121cedc2996fa24d77 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 6 Oct 2021 19:31:55 +0200
Subject: [PATCH] [wp-qualif] update oracle

---
 .../wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle     | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
index 376255d0dcb..d2311a420b8 100644
--- a/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
+++ b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
@@ -4,10 +4,9 @@
 [wp] Warning: native support for coq is deprecated, use tip instead
 [wp] 2 goals scheduled
 [wp] [Coq (native)] Goal typed_lemma_ok_because_consistent : Failed
-  Command './tests/inexistant-prover' not found
-[wp] [Coq] Goal typed_lemma_ok_because_inconsistent : Default tactic
+  Permission denied (./tests/inexistant-prover)
 [wp] [Coq (native)] Goal typed_lemma_ok_because_inconsistent : Failed
-  Command './tests/inexistant-prover' not found
+  Permission denied (./tests/inexistant-prover)
 [wp] Proved goals:    0 / 2
   Coq (native):    0  (failed: 2)
 ------------------------------------------------------------
-- 
GitLab