diff --git a/isl b/isl
index 20bfce7471927dfd0bfb288cbfec3a41c59595af..e923e3d5cc8a376b3acf9e784a2f3b6c62f29c7d 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 20bfce7471927dfd0bfb288cbfec3a41c59595af
+Subproject commit e923e3d5cc8a376b3acf9e784a2f3b6c62f29c7d