barvinok_count_with_options: drop unused variable
commit99920837891c934c207145561e67d8667e88f113
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 25 Dec 2016 09:05:28 +0000 (25 10:05 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:05 +0000 (23 13:13 +0100)
treeebfd051d17a3f9d467b3901c161a10d0b226670d
parentb47323347e432abf4be8d0dc7f9a820d85ed76d4
barvinok_count_with_options: drop unused variable

This was missing from 9474c26 (deeper loop merge,
Fri Oct 1 21:22:29 2004 +0000).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
barvinok.cc