diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 71cbb9b1ee61824dc2b57ce67809313f5249fb0d..8406aeaf9abb9e91bce4da6ee2f2f2438efda39b 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -135,7 +135,7 @@ rte_options() {
   # explicitly specified
   # Option supported by RTE but unsupported in E-ACSL, should
   # always be negated
-  local rte_options_unsupported="precond"
+  local rte_options_unsupported=""
   local rte_options_explicit="trivial-annotations"
   local generated="-rte" # Generated Frama-C options