From ef198328a30993c1db1776cc451cf2e271c9ee21 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Sat, 14 Sep 2024 17:29:44 +1000 Subject: [PATCH] Update Kissat to version 4.0.1 --- crates/pindakaas-kissat/Cargo.toml | 2 +- crates/pindakaas-kissat/vendor/kissat | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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