diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
index cfe964c22f0c10bf6df04acc470833ac945acf01..fea81fbc446980d841e953de902402a43b4f56b3 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
@@ -11,7 +11,6 @@
 [eva:final-states] Values at end of function main:
   __retres ∈ [-2147483647..2147483647]
 [wp] Running WP plugin...
-[wp] Warning: Missing RTE guards
 [wp] 1 goal scheduled
 [wp] [Alt-Ergo] Goal typed_main_assert_Eva_signed_overflow : Unsuccess
 [wp] Proved goals:    0 / 1
@@ -21,5 +20,6 @@
   main                      -        -        1       0.0%
 ------------------------------------------------------------
 [wp] Running WP plugin...
+[wp] Warning: Missing RTE guards
 [wp] Warning: No goal generated
 ------------------------------------------------------------