diff --git a/crates/pindakaas-cadical/Cargo.toml b/crates/pindakaas-cadical/Cargo.toml
index cd293c12bb..20b554646d 100644
--- a/crates/pindakaas-cadical/Cargo.toml
+++ b/crates/pindakaas-cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pindakaas-cadical"
-version = "1.9.0"
+version = "1.9.2"
 edition = "2021"
 build = "build.rs"
 links = "cadical"
diff --git a/crates/pindakaas-cadical/vendor/cadical b/crates/pindakaas-cadical/vendor/cadical
index 1a52055bf1..ac48dd6447 160000
--- a/crates/pindakaas-cadical/vendor/cadical
+++ b/crates/pindakaas-cadical/vendor/cadical
@@ -1 +1 @@
-Subproject commit 1a52055bf10fa336d4498fcfc4e4a10bbcf8d2b7
+Subproject commit ac48dd6447f90ef6cca2d953387089941d1b13f4