From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 10 Dec 2012 11:04:46 +0000 (+0100)
Subject: update isl to version 0.11.1
X-Git-Tag: barvinok-0.37~76
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/5abe79fb668ba90529bd5a970e633cc173d68822

update isl to version 0.11.1

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

diff --git a/isl b/isl
index 9f82ab3..00adaf6 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 9f82ab3cd18ac34f883c30594111e4eb17426e11
+Subproject commit 00adaf6b43bc6877e286441be25101e64cea07ef