diff --git a/tests/syntax/oracle/array_cast_bts1099.res.oracle b/tests/syntax/oracle/array_cast_bts1099.res.oracle
index 4d39dbf0d7d154c649c738f8b024cd5518ecde1d..09ba17a47e269d5a40446c613f67d7d35cd6f4fd 100644
--- a/tests/syntax/oracle/array_cast_bts1099.res.oracle
+++ b/tests/syntax/oracle/array_cast_bts1099.res.oracle
@@ -1,6 +1,6 @@
 [kernel] Parsing array_cast_bts1099.i (no preprocessing)
 [kernel] array_cast_bts1099.i:12: User Error: 
-  Cast over a non-scalar type t
+  explicit cast: cast over a non-scalar type t
   10      int tab1[4];
   11      u* p = &tab1;
   12      t* p2 = (t) p;
diff --git a/tests/syntax/oracle/wrong-assignment.res.oracle b/tests/syntax/oracle/wrong-assignment.res.oracle
index e3ed14ddfe7d6fbd0482c6d74157fd906d72f0a4..a6f9c43d92dca9c7475fc7aaaa1761c2613f7ee7 100644
--- a/tests/syntax/oracle/wrong-assignment.res.oracle
+++ b/tests/syntax/oracle/wrong-assignment.res.oracle
@@ -1,6 +1,6 @@
 [kernel] Parsing wrong-assignment.i (no preprocessing)
 [kernel] wrong-assignment.i:13: User Error: 
-  cast from ebool to _Bool
+  implicit cast: cast from ebool to _Bool
   11    void d() {
   12      // this assignment should be rejected
   13      c.a = b;