diff --git a/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle b/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle
index ab4a875d1ad88731e1251bb3bf2f3097a47a32ea..590199db8f04040ab84e966d5307b0dfc39f2ec5 100644
--- a/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle
+++ b/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle
@@ -1,4 +1,4 @@
 [kernel] Parsing tests/arith/rationals.c (with preprocessing)
-[kernel:parser:decimal-float] tests/arith/rationals.c:20: Warning: 
+[kernel:parser:decimal-float] tests/arith/rationals.c:19: Warning: 
   Floating-point constant 0.2f is not represented exactly. Will use 0x1.99999a0000000p-3.
   (warn-once: no further messages from category 'parser:decimal-float' will be emitted)