From b1ed4db5457087aa3c8021a1aca6a876cc55d8ff Mon Sep 17 00:00:00 2001
From: Ruediger Ehlers <mail2022@ruediger-ehlers.de>
Date: Thu, 22 Aug 2024 14:01:23 +0200
Subject: [PATCH] Updated CaDiCal

---
 lib/cadical | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cadical b/lib/cadical
index 1462073..edad56f 160000
--- a/lib/cadical
+++ b/lib/cadical
@@ -1 +1 @@
-Subproject commit 146207318796f094dcded87349a64f0c6927309e
+Subproject commit edad56f5b71ff7502a09786cb00df09c3b889317