From 4a2b7418a0e1870b9054dda9a9b2dac4b50c387b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 18 Mar 2014 21:24:18 +0100
Subject: [PATCH] update isl for __isl_null memory management annotation

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl b/isl
index 42f954c..53dcc9a 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 42f954ca910d354c906ed0633238f18af85ae643
+Subproject commit 53dcc9a6e6bc02826e9220f4cddec5cb44d4c61b
-- 
2.11.4.GIT