diff --git a/isl b/isl
index a64098e95e8c6404fa18f52fad75a8fd440c542f..52c2b1154c6b757bc819a1e45f5a5e93806598cb 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit a64098e95e8c6404fa18f52fad75a8fd440c542f
+Subproject commit 52c2b1154c6b757bc819a1e45f5a5e93806598cb
diff --git a/isl-supplementary/isl_config.h b/isl-supplementary/isl_config.h
index 6750949900ebfdcb8b87fb3a866ece28c7391029..baa65073ec5e22c8bf1c530c1db461cf5fb5a018 100644
--- a/isl-supplementary/isl_config.h
+++ b/isl-supplementary/isl_config.h
@@ -1 +1,2 @@
 #define HAVE_DECL_MP_GET_MEMORY_FUNCTIONS 1
+#define WARN_UNUSED /* nothing */