diff --git a/crates/pindakaas-cadical/Cargo.toml b/crates/pindakaas-cadical/Cargo.toml
index 168ecd0ff4..1868e1027d 100644
--- a/crates/pindakaas-cadical/Cargo.toml
+++ b/crates/pindakaas-cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pindakaas-cadical"
-version = "1.9.3"
+version = "1.9.4"
 edition = "2021"
 build = "build.rs"
 links = "cadical"
diff --git a/crates/pindakaas-cadical/build.rs b/crates/pindakaas-cadical/build.rs
index 9d1f84736e..3cb30c51ee 100644
--- a/crates/pindakaas-cadical/build.rs
+++ b/crates/pindakaas-cadical/build.rs
@@ -70,7 +70,6 @@ fn main() {
 		"vendor/cadical/src/subsume.cpp",
 		"vendor/cadical/src/terminal.cpp",
 		"vendor/cadical/src/ternary.cpp",
-		"vendor/cadical/src/trail.cpp",
 		"vendor/cadical/src/transred.cpp",
 		"vendor/cadical/src/veripbtracer.cpp",
 		"vendor/cadical/src/util.cpp",
diff --git a/crates/pindakaas-cadical/vendor/cadical b/crates/pindakaas-cadical/vendor/cadical
index 3d346f7a73..e71bd58937 160000
--- a/crates/pindakaas-cadical/vendor/cadical
+++ b/crates/pindakaas-cadical/vendor/cadical
@@ -1 +1 @@
-Subproject commit 3d346f7a73080b276ae26fc2d15845747371fa1e
+Subproject commit e71bd58937e6513f71bd8c93d91578785c592721