From 59bb87e28eb34444d45d40e7ccdd18b9168396f7 Mon Sep 17 00:00:00 2001
From: Yukio Miyasaka <yoyuohlhjl@yahoo.co.jp>
Date: Sun, 4 Jan 2026 12:41:58 -0800
Subject: [PATCH] Update cadical VERSION

forgot to update version
---
 src/sat/cadical/VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/cadical/VERSION b/src/sat/cadical/VERSION
index a1bba8921..ccbccc3dc 100644
--- a/src/sat/cadical/VERSION
+++ b/src/sat/cadical/VERSION
@@ -1 +1 @@
-2.2.0-rc1
+2.2.0