From c9433dd1b416d011cf4bcdb7edb3eac108a9573a Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Wed, 17 Apr 2024 12:15:56 +0200
Subject: [PATCH] update util

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

diff --git a/src/util b/src/util
index 52176e3..e23c726 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit 52176e30445ae79c919d23b8caed1c2477a08431
+Subproject commit e23c72649c1ae5920ac95f86d074bb21590809d1