From 53716f2686c2957c6068740b1be250b9e21b0379 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 7 Jan 2022 14:26:06 +0100
Subject: [PATCH] [wp] Fix small oracle post rebase

---
 .../wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle
index 286b26bfd54..d56892bed73 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle
@@ -1,4 +1,4 @@
-# frama-c -wp [...]
+# frama-c -wp -wp-model 'Typed (Real)' [...]
 [kernel] Parsing classify_float.c (with preprocessing)
 [wp] Running WP plugin...
 [wp] 3 goals scheduled
-- 
GitLab