update isl for rename of header files
commit4e56af8820a7a67a08cefc74163c788e2b743eb3
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 20 Nov 2010 16:08:48 +0000 (20 17:08 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 20 Nov 2010 16:08:48 +0000 (20 17:08 +0100)
tree3997792acfae48f918efc1cc24c22bdc26eda7da
parent28019b3d3375c3b778061c7207dbf57a696b1d17
update isl for rename of header files

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
configure.ac
include/isl_map_polylib.h
include/isl_set_polylib.h
isl
isl_map_polylib.c