From ec95f71c624cf9b61915881d76d67065aaf0ad3e Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 30 Jan 2014 10:31:10 -0600
Subject: [PATCH] Point isl submodule back at upstream isl

---
 .gitmodules | 2 +-
 isl         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index cf8c41b..98ceb36 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,4 +3,4 @@
 	url = git://github.com/inducer/isl-mirror
 [submodule "bpl-subset"]
 	path = bpl-subset
-	url = git://github.com/inducer/bpl-subset
+	url = git://repo.or.cz/isl.git
diff --git a/isl b/isl
index b0ac3f9..1b3ba3b 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit b0ac3f9d87cc1393fa416df2a1cf122a6be58c7b
+Subproject commit 1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed
-- 
GitLab