diff --git a/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle b/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
index f6a8b30c854998a4e78fa503c9c272011acc6c49..5a7dfb6eba881243d1482e0522cafbd61d107b3b 100644
--- a/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
+++ b/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
@@ -3,4 +3,4 @@
 [eva:alarm] tests/memory/vla.c:8: Warning: 
   function __e_acsl_assert: precondition got status unknown.
 [eva:alarm] tests/memory/vla.c:12: Warning: 
-  function __e_acsl_assert: precondition got status invalid.
+  function __e_acsl_assert: precondition got status unknown.