update isl for rename of isl_basic_set_product
commit6af50a0d8a78bf1ab75cfed3ace5a0cf88718b91
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Jan 2011 09:01:49 +0000 (20 10:01 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Jan 2011 09:01:49 +0000 (20 10:01 +0100)
tree43d5ab49a9a71df2702df34b75d9c14b45757d5b
parentc67a890f7719c797c9da5e87a22b900ae811f929
update isl for rename of isl_basic_set_product

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl
source/isl/domain.c