From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Jun 2014 21:16:15 +0000 (-0400)
Subject: Update commit # for get-abc script, anticipating Liana's merge.
X-Git-Tag: cvc5-1.0.0~6860
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbaaf5c2e82eab1922438bd2e358c9299fdd0bf2;p=cvc5.git

Update commit # for get-abc script, anticipating Liana's merge.
---

diff --git a/contrib/get-abc b/contrib/get-abc
index 535c0decf..97fbb1503 100755
--- a/contrib/get-abc
+++ b/contrib/get-abc
@@ -2,7 +2,7 @@
 #
 set -e
 
-commit=0c11cea52a36
+commit=3c5d3319120b
 
 cd "$(dirname "$0")/.."