Skip to content
Snippets Groups Projects
Commit 1e16d444 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:script] remove useless line

parent 73f89c9c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+ 0
− 1
View file @ 1e16d444
...@@ -557,7 +557,6 @@ do ...@@ -557,7 +557,6 @@ do
--then) --then)
shift; shift;
OPTION_THEN=-then OPTION_THEN=-then
FRAMAC_FLAGS="$FRAMAC_FLAGS"
;; ;;
# Extra E-ACSL options # Extra E-ACSL options
--e-acsl-extra) --e-acsl-extra)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment