From 39277d54899538f714ca490de551e3b302f4b960 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 19 Dec 2023 22:08:00 +1100
Subject: [PATCH] Update CaDiCaL to v1.9.3

---
 crates/pindakaas-cadical/Cargo.toml     | 2 +-
 crates/pindakaas-cadical/vendor/cadical | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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