From 0c05c737923f63ad526c4369bcd6719ef32061eb Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 28 May 2014 17:42:06 -0500
Subject: [PATCH] Update isl

---
 isl                            | 2 +-
 isl-supplementary/isl_config.h | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/isl b/isl
index a64098e..52c2b11 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 6750949..baa6507 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 */
-- 
GitLab