diff --git a/tests/bugs/oracle/logiccast.res.oracle b/tests/bugs/oracle/logiccast.res.oracle
index 6cc697016a957f8faf2c4a81ffd35596fa4e4c05..b3163d1b5938d421aef592e40612211283e07a6b 100644
--- a/tests/bugs/oracle/logiccast.res.oracle
+++ b/tests/bugs/oracle/logiccast.res.oracle
@@ -8,11 +8,13 @@ Now output intermediate result
 [wp] [Alt-Ergo] Goal typed_Z1mPv_assert : Unsuccess
 [wp] Proved goals:    0 / 2
   Alt-Ergo:        0  (unsuccess: 2)
-[wp] Warning: Memory model hypotheses for function '_Z1mPv':
+[wp] tests/bugs/logiccast.cpp:3: Warning: 
+  Memory model hypotheses for function '_Z1mPv':
   /*@ behavior typed:
         requires \separated(r + (..), &_Z4base); */
   void _Z1mPv(void *r);
-[wp] Warning: Memory model hypotheses for function '_Z1nPc':
+[wp] tests/bugs/logiccast.cpp:6: Warning: 
+  Memory model hypotheses for function '_Z1nPc':
   /*@ behavior typed:
         requires \separated(r + (..), &_Z4base); */
   void _Z1nPc(char *r);