scop.c: pet_implication_free: drop unused variable
commit08d5b22c5e3d64ab7e3f0b9ca4e282d4801427a2
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 25 Dec 2016 17:59:19 +0000 (25 18:59 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Dec 2016 10:37:54 +0000 (26 11:37 +0100)
treec477e491c7ba37cff1888ce5d1f1a0427709aa4f
parent48e4e062e17d0219c37245d707948fdc90f8b154
scop.c: pet_implication_free: drop unused variable

The variable was already unused when this function
was introduced in 7166127 (introduce pet_implication,
Thu Jun 20 15:38:31 2013 +0200).

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