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