diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 1ef4a37607d48dcc3e5848ecd17aa71195526d25..c81e38218fb5c94dd3c75e247668f17b12f8e554 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -557,7 +557,6 @@ do
     --then)
       shift;
       OPTION_THEN=-then
-      FRAMAC_FLAGS="$FRAMAC_FLAGS"
     ;;
     # Extra E-ACSL options
     --e-acsl-extra)