From 9d00fa2d756a49d618e27a4e8e40924cc31359b1 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 7 Nov 2023 00:58:53 +0100
Subject: [PATCH] update util

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

diff --git a/src/util b/src/util
index c162b52..ca6ff4b 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit c162b5202b6764d5fb76012de7b05d99b5991da3
+Subproject commit ca6ff4b855a8f17bbb48f7fd55b5eb391e882c2e