diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle
index c79ae4bf45f2df4c73d7e2f298441875adb66737..67f5d8e043597363555e7e3747373d0a3a79bf18 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle
@@ -1,7 +1,4 @@
 [e-acsl] beginning translation.
-tests/e-acsl-runtime/lazy.i:12:[rte] warning: divisor assert broken: 0 ≢ 0
-tests/e-acsl-runtime/lazy.i:14:[rte] warning: divisor assert broken: 0 ≢ 0
-tests/e-acsl-runtime/lazy.i:16:[rte] warning: divisor assert broken: 0 ≢ 0
 [e-acsl] translation done in project "e-acsl".
 [value] Analyzing a complete application starting at main
 [value] Computing initial state