barvinok_enumerate.cc: verify_point: drop unused error label
commit4a97dc3061c9c80c29cb7e9df2a9b97f029d3e30
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Dec 2016 12:53:25 +0000 (23 13:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:07 +0000 (23 13:13 +0100)
tree8474eb66edf225271cdc4e6ee881cb413a9d92a3
parentd79990be5ac348505f5a9df51636fc66eddd531f
barvinok_enumerate.cc: verify_point: drop unused error label

This was missing from d9739d7 (barvinok_enumerate.cc: verify_point:
use isl_val, Fri Apr 5 10:29:35 2013 +0200).

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