From fafd065a36972174807299fea3c5e65b81e8eae3 Mon Sep 17 00:00:00 2001
From: Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>
Date: Mon, 22 Apr 2024 15:08:23 +0200
Subject: [PATCH] Update libpotassco.

---
 libpotassco | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libpotassco b/libpotassco
index 414bc1a..7f4aef1 160000
--- a/libpotassco
+++ b/libpotassco
@@ -1 +1 @@
-Subproject commit 414bc1a55e0f274fc13ce32c7d0101ed543ae7c0
+Subproject commit 7f4aef1fbcc0c007bc21d6a3ec9f8d643695350b