From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 1 Sep 2020 20:07:11 +0000 (-0700)
Subject: CMS: Update to version 5.8.0. (#4991)
X-Git-Tag: cvc5-1.0.0~2927
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=56b6eabba4202b8fb848c97b04e12f622eba411f;p=cvc5.git

CMS: Update to version 5.8.0. (#4991)
---

diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat
index 2b85e1a91..476d1ff10 100755
--- a/contrib/get-cryptominisat
+++ b/contrib/get-cryptominisat
@@ -3,7 +3,7 @@
 source "$(dirname "$0")/get-script-header.sh"
 
 CMS_DIR="$DEPS_DIR/cryptominisat5"
-version="5.6.3"
+version="5.8.0"
 
 check_dep_dir "$CMS_DIR"
 setup_dep \