From 58f9a483e567f8c810ab5ccb422799c06cb8a86c Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 8 Feb 2016 10:28:57 +0100
Subject: [PATCH] Fixed a bug in e-acsl-gcc.sh where additional flags could not
 be passed to a Frama-C run

---
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index f1b8bee53f3..8a13b98b880 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
-- 
GitLab