diff --git a/isl b/isl
index 36277371f560f6c08708a4ba0055b4f53c5547d4..d7409dcb88f890b871f8dc5dd1fe01112588650b 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 36277371f560f6c08708a4ba0055b4f53c5547d4
+Subproject commit d7409dcb88f890b871f8dc5dd1fe01112588650b