barvinok.cc: card_as_sum: use isl_val
commit1e0102fb431208722f8e852ca26c7f079c48fd4d
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Apr 2013 15:32:38 +0000 (4 17:32 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 31 May 2013 08:53:19 +0000 (31 10:53 +0200)
tree4349eadc38d6f6b5177fedb269d1439f53044ee7
parentfff364799a53a853e4dbc343db4c612411d312bd
barvinok.cc: card_as_sum: use isl_val

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