diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
index 30b229d4489395b25c024195dba4ce47fc954f0a..15637955c83af4061c768c1c2e6d89f38d503997 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
+++ b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
@@ -1,5 +1,6 @@
-[kernel] tests/bts/bts1307.i:14: Warning: 
-  Floating-point constant 0.4 is not represented exactly. Will use 0x1.999999999999ap-2. See documentation for option -warn-decimal-float
+[kernel:parser:decimal-float] tests/bts/bts1307.i:14: Warning: 
+  Floating-point constant 0.4 is not represented exactly. Will use 0x1.999999999999ap-2.
+  (warn-once: no further messages from category 'parser:decimal-float' will be emitted)
 [e-acsl] beginning translation.
 [e-acsl] tests/bts/bts1307.i:23: Warning: approximating a real number by a float
 [e-acsl] tests/bts/bts1307.i:23: Warning: 
diff --git a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
index 7db026ea864ef7c27953653b77d6eb4be41f71cf..798bc2afeac950f63704903c0aa9e7d5dba54ad1 100644
--- a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
+++ b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
@@ -1,5 +1,6 @@
-[kernel] tests/format/printf.c:88: Warning: 
-  Floating-point constant 0.2 is not represented exactly. Will use 0x1.999999999999ap-3. See documentation for option -warn-decimal-float
+[kernel:parser:decimal-float] tests/format/printf.c:88: Warning: 
+  Floating-point constant 0.2 is not represented exactly. Will use 0x1.999999999999ap-3.
+  (warn-once: no further messages from category 'parser:decimal-float' will be emitted)
 [e-acsl] beginning translation.
 [e-acsl] Warning: annotating undefined function `abort':
   the generated program may miss memory instrumentation