From e61f7e5124c219bdf14a7c42f728aab8b4d4e9c3 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Tue, 17 Jul 2018 11:23:09 +0200
Subject: [PATCH] update isl to version 0.20

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 isl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl b/isl
index ad05b8d..d885198 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit ad05b8d23ba51ad9c4135548368382c4cc4eb5f8
+Subproject commit d885198ad94c337e48c83a0a23b82e0ba76ebe55
-- 
2.11.4.GIT