barvinok_e.cc: drop unused double_bound
commit102f1f169225593a4763de6b0c8711aed4f18e40
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 25 Dec 2016 09:51:23 +0000 (25 10:51 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Jan 2017 13:13:03 +0000 (20 14:13 +0100)
tree86815550df1eb622ee5c62f19a52cd1109e92e96
parent8498860ba51413efdec5ffdb84ddb8a97c1b3025
barvinok_e.cc: drop unused double_bound

It was introduced in 9c58776 (unused routine for removing double bounds,
Fri Jul 30 13:55:26 2004 +0000) but never ended up getting used.

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