diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index f1b8bee53f38e1b9f61c94befbe33df772a028a7..8a13b98b88045e74c5220f8282de66148c27199e 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -307,7 +307,6 @@ check_tool "$OPTION_CC"
 
 # Frama-C and related flags
 FRAMAC="$OPTION_FRAMAC"
-FRAMAC_FLAGS=""
 FRAMAC_SHARE="`$FRAMAC -print-share-path`"
 FRAMAC_CPP_EXTRA="
   $OPTION_FRAMAC_CPP_EXTRA