bound.c: verify_point: use isl_val
commit988e38cd63489132e755db3ec13bee2d62f71fb2
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 6 Apr 2013 08:54:05 +0000 (6 10:54 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 31 May 2013 08:53:19 +0000 (31 10:53 +0200)
treeb5873cc9eb5cc8ae08d9babdba20fbf65928539f
parent9657412e2c5720d9dec319079fc74cb4226c1a62
bound.c: verify_point: use isl_val

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