From 83851eed49794000ab32cc9b2e7f063c0b890f58 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Wed, 22 Nov 2023 10:36:14 +0100
Subject: [PATCH] update util

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

diff --git a/src/util b/src/util
index ca6ff4b..916da8c 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit ca6ff4b855a8f17bbb48f7fd55b5eb391e882c2e
+Subproject commit 916da8c37d292bf0d75ede97c52c480454f7d768