From 1ed0719a0a39d5e160bd5b9c13afc5e9e524db4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Tue, 11 Mar 2025 20:18:45 +0100
Subject: [PATCH] Revert CaDiCaL addition

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

diff --git a/abc b/abc
index 43b9a4def..5ecc7c333 160000
--- a/abc
+++ b/abc
@@ -1 +1 @@
-Subproject commit 43b9a4defe7276697f25f24ed431efb91dcb838f
+Subproject commit 5ecc7c333ceeadef9b2f3e4a82f7ec72fa512d86