diff --git a/.gitmodules b/.gitmodules
index cf8c41bffee40150983e64ce2208936887a7c205..670e245f6d035e73590e4c898dcf0d284c417d71 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "isl"]
 	path = isl
-	url = git://github.com/inducer/isl-mirror
+	url = http://repo.or.cz/isl.git
 [submodule "bpl-subset"]
 	path = bpl-subset
 	url = git://github.com/inducer/bpl-subset
diff --git a/isl b/isl
index 3916fbc5f0bab03d03ab886dde3fa4328a113af6..2c1b68581916666fb2bcc94c7bf8779807ed42d9 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 3916fbc5f0bab03d03ab886dde3fa4328a113af6
+Subproject commit 2c1b68581916666fb2bcc94c7bf8779807ed42d9