From bafb99945eacd1c9950cc14342a89dfaa7f8e575 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Sat, 2 Jul 2022 15:23:29 +0200
Subject: [PATCH] update isl to version 0.25

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 1e271ff..f7b0ef9 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 1e271ffb4ce4da08e0f482267e96480100c69689
+Subproject commit f7b0ef95845d57fc839090d5075b84fa706eeb15
-- 
2.11.4.GIT