From 4737eb6c63f1482cac4c962fbb62859c6bc11cfd Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Thu, 11 Apr 2024 16:50:07 -0400
Subject: [PATCH] Updating lingeling

---
 utils/lingeling-ala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/lingeling-ala b/utils/lingeling-ala
index 4a7ba1b4b..3c733d8d1 160000
--- a/utils/lingeling-ala
+++ b/utils/lingeling-ala
@@ -1 +1 @@
-Subproject commit 4a7ba1b4bcb9c88ac38c24824ca290922c00e251
+Subproject commit 3c733d8d1c75055d4cc1a722ecaccd6130086b1f