From 8c451c8b1e3459bff499e08ca3c9b08c5fe646f3 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 2 Jul 2013 07:24:37 -0700
Subject: [PATCH] Update to isl 0.12

Signed-off-by: Tobias Grosser <tobias@grosser.es>
---
 isl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl b/isl
index 32aabe2..1771fee 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 32aabe2c05cbaa2df5907aee48d1874936266a29
+Subproject commit 1771feef78c24eedbd441def096e28548c4712bf
-- 
2.11.4.GIT