From 390c217686975f01bb6185cce614dc9555af17fc Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Mon, 18 Dec 2023 14:03:48 +1100
Subject: [PATCH] Update CaDiCaL to v1.9.2

---
 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 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