From 91a76f4add48ab59c2469f350f7cd17924731298 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Sun, 1 Nov 2020 15:53:18 +0100
Subject: [PATCH] update isl to version 0.23

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 828795c..8cec804 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 828795c9f1f86f28982d1bddfa78a769fd0340a7
+Subproject commit 8cec80451ea4f2f225629527b99ee2dc54ac2cad
-- 
2.11.4.GIT