diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 6ab2349458c53484eead7a9db7d398b4c26e173b..bd52cb6198bc989d6b44d25aeacdf5c2e7f51f99 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -897,6 +897,11 @@ fi
 FRAMAC_FLAGS="$FRAMAC_FLAGS \
   -remove-unused-specified-functions"
 
+if [ -n "$OPTION_VALIDATE_FORMAT_STRINGS" ]; then
+  FRAMAC_FLAGS="$FRAMAC_FLAGS \
+    -variadic-no-translation"
+fi
+
 # C, CPP and LD flags for compilation of E-ACSL-generated sources
 EACSL_CFLAGS="$OPTION_EXTERNAL_ASSERT"
 EACSL_CPPFLAGS="-I$EACSL_SHARE"