diff --git a/tests/bugs/oracle/issue27-pred.res.oracle b/tests/bugs/oracle/issue27-pred.res.oracle
index 243ba4370ef7d85c4da9ca05a51b73719c91e0dc..4426e1c01ff378c8ff083b3a15ab573a9c4ef658 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