From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 3 Dec 2012 07:28:31 +0000 (+0100)
Subject: update isl to version 0.11
X-Git-Tag: barvinok-0.36~6
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/582086c672bfe2df10460a17918b4908f562c336

update isl to version 0.11

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

diff --git a/isl b/isl
index f418adb..9f82ab3 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit f418adbc0dd94362187d4249caf90b5d1ccfabdc
+Subproject commit 9f82ab3cd18ac34f883c30594111e4eb17426e11