update isl for compatibility with old gmps
commit662ace8b48e5b7e9ae3631aa680cfe2cfb4144e6
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 2 Dec 2008 21:39:33 +0000 (2 22:39 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 2 Dec 2008 21:39:33 +0000 (2 22:39 +0100)
treebafc64ad132f21185c15055ca226367338742ead
parentcfeb97bfb85bdf919c0c0fa2a04358c6d47c684b
update isl for compatibility with old gmps
isl