scop.c: filter_implied: drop unused variable
commit24ab5967dea19df8165e700658f36f6ee6a6c33f
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 25 Dec 2016 18:38:50 +0000 (25 19:38 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Dec 2016 10:37:55 +0000 (26 11:37 +0100)
tree7e8b647e558bf2375b9ad5bbbcfecf5cffa7fdab
parent0f2bb162da1e185f50a13d195a3cdde927a2bec3
scop.c: filter_implied: drop unused variable

The variable was already unused when this function
was introduced in e58c023 (use implications to encode while and
break filters, Thu Jun 20 15:45:34 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scop.c