From 3122818e9131be6af094a733f2d5bf6f5a8ec43f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 6 Oct 2020 09:50:17 +0200
Subject: [PATCH] Update issue27-pred.res.oracle

---
 tests/bugs/oracle/issue27-pred.res.oracle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/bugs/oracle/issue27-pred.res.oracle b/tests/bugs/oracle/issue27-pred.res.oracle
index 243ba43..4426e1c 100644
--- a/tests/bugs/oracle/issue27-pred.res.oracle
+++ b/tests/bugs/oracle/issue27-pred.res.oracle
@@ -4,8 +4,8 @@ Now output intermediate result
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Alt-Ergo] Goal typed_Z3posi_ensures_2 : Valid
 [wp] [Alt-Ergo] Goal typed_Z3posi_ensures : Valid
+[wp] [Alt-Ergo] Goal typed_Z3posi_ensures_2 : Valid
 [wp] Proved goals:    2 / 2
   Qed:             0 
   Alt-Ergo:        2
-- 
GitLab