From 369c1ed959cf13375834035092a07a87b2bc4f10 Mon Sep 17 00:00:00 2001
From: Cedric Bastoul <cedric.bastoul@unistra.fr>
Date: Fri, 24 Jul 2015 14:27:49 +0200
Subject: [PATCH] Set bundled isl to 0.15

---
 isl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl b/isl
index 0698f84..2c1b685 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 0698f8436c523ecc742b13a9b3aa337cc2421fa2
+Subproject commit 2c1b68581916666fb2bcc94c7bf8779807ed42d9
-- 
2.11.4.GIT