From dfb62babd925084fcc6d085877a8add8e0fa4da9 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 17 Oct 2023 14:55:25 +0200
Subject: [PATCH] update util

---
 src/util | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util b/src/util
index 215aa21..af1ced1 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit 215aa21f52f89ce45c4ad324ca17923d17c1f4b1
+Subproject commit af1ced1c82539675b8c9d49c19136224e4af07a9