Update cryptominisat dependency

ltentrup · Feb 24, 2021 · 62ee769 · 62ee769
1 parent 356e3da
commit 62ee769
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -13,6 +13,7 @@ jobs:
       run: |
         sudo apt-get update -yqq
         sudo apt-get install -yqq --no-install-recommends build-essential cmake xxd
+        rustup update
         rustup component add clippy rustfmt
     - name: Check format
       run: cargo fmt --verbose -- --check

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -5,7 +5,7 @@ authors = ["Leander Tentrup <tentrup@react.uni-saarland.de>"]
 edition = "2018"
 
 [dependencies]
-cryptominisat = { git = "https://github.com/ltentrup/cryptominisat-rs.git", rev = "d0c6eadb79547e3bc5078b228badfff16601a47f" }
+cryptominisat = { git = "https://github.com/ltentrup/cryptominisat-rs.git", rev = "79380e6117fb83dfce7224fffcee992446577686" }
 log = { version = "0.4.11", features = ["release_max_level_warn"] }
 env_logger = "0.7.1"
 bit-vec = "0.6.2"