From 7634842b4349025ed383bc59bf967d0229eb19a5 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 24 Sep 2024 10:37:00 +0200
Subject: [PATCH] update util

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

diff --git a/src/util b/src/util
index 249cf24..9b490e4 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit 249cf2422a575698fac39d01637cfe4c9cb11145
+Subproject commit 9b490e4d352a82c80f6b456645eed093963e7256