diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index 5869d63e5ddb04e306bae911dd0d10cc8be64ec3..e5bceb82f96fc557ceb6ef722e55884b426ed5fb 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -2,6 +2,7 @@
 [kernel] Parsing cpu_b.c (with preprocessing)
 [kernel] cpu_b.c:7: Warning: 
   Integer compatibily is machine-dependant : unsigned short and unsigned int
+[kernel] Warning: Conflicting definitions are between files cpu_a.c and cpu_b.c
 /* Generated by Frama-C */
 typedef unsigned short DWORD;
 DWORD f(void)
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index 30fde145f120a3f67a87d1d12eca32c41069a889..15d585c08873aa9850d54e2d1caee038b25814e4 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -2,6 +2,7 @@
 [kernel] Parsing cpu_a.c (with preprocessing)
 [kernel] cpu_a.c:6: Warning: 
   Integer compatibily is machine-dependant : unsigned int and unsigned short
+[kernel] Warning: Conflicting definitions are between files cpu_b.c and cpu_a.c
 /* Generated by Frama-C */
 typedef unsigned int DWORD;
 DWORD f(void);