From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 13 Apr 2014 19:01:59 +0000 (+0200)
Subject: update isl to version 0.13
X-Git-Tag: barvinok-0.37~2
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/14e43592cac6fc2ef043cac20099eee686e0bd07

update isl to version 0.13
---

diff --git a/isl b/isl
index 6fda577..1636465 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 6fda577b736c872a8f8b15a629f84470806393f7
+Subproject commit 163646566efd07086ed4fbe99ecbf8d5bb8ebca0