diff --git a/isl b/isl
index 3106e8df1ca113b3076eac28a9dbb88ef17d757e..ec49f2f2c642dfb3cd3fbbc768599a954a2cfd67 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 3106e8df1ca113b3076eac28a9dbb88ef17d757e
+Subproject commit ec49f2f2c642dfb3cd3fbbc768599a954a2cfd67