barvinok_summate.c: verify_point: use isl_val
commitae715bcc1721df8f13f59a0a7af098227dcf0fba
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 6 Apr 2013 08:12:25 +0000 (6 10:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 31 May 2013 08:53:19 +0000 (31 10:53 +0200)
tree12a9753bfadc7ea557b96d72fb5bb99c8f251357
parentd9739d7fcd9dc4d1b10d1134a3338d724ce3cd24
barvinok_summate.c: verify_point: use isl_val

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