diff --git a/crates/pindakaas-kissat/Cargo.toml b/crates/pindakaas-kissat/Cargo.toml
index 71c34caa5..c2c2c621a 100644
--- a/crates/pindakaas-kissat/Cargo.toml
+++ b/crates/pindakaas-kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pindakaas-kissat"
-version = "4.0.0"
+version = "4.0.1"
 edition = "2021"
 build = "build.rs"
 links = "kissat"
diff --git a/crates/pindakaas-kissat/vendor/kissat b/crates/pindakaas-kissat/vendor/kissat
index 36acc9e6e..43f02cf3e 160000
--- a/crates/pindakaas-kissat/vendor/kissat
+++ b/crates/pindakaas-kissat/vendor/kissat
@@ -1 +1 @@
-Subproject commit 36acc9e6e410090f4ea0e41a129da5f896b3771a
+Subproject commit 43f02cf3e992cb44653b35e5cb26f93281552ae0