From dbba8bce14b23c7bb2f3b08cbbbf441054386ee5 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 25 May 2020 18:56:39 -0700
Subject: Update to CaDiCaL version 1.2.1. (#4530)

---
 contrib/get-cadical | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/get-cadical b/contrib/get-cadical
index 8c512ad28..a253514e8 100755
--- a/contrib/get-cadical
+++ b/contrib/get-cadical
@@ -3,7 +3,7 @@
 source "$(dirname "$0")/get-script-header.sh"
 
 CADICAL_DIR="$DEPS_DIR/cadical"
-version="rel-1.0.3"
+version="rel-1.2.1"
 
 check_dep_dir "$CADICAL_DIR"
 setup_dep \
-- 
cgit v1.2.3