projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1fc1ce0)
Update commit # for get-abc script, anticipating Liana's merge.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 21:16:15 +0000 (17:16 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 21:16:15 +0000 (17:16 -0400)
contrib/get-abc patch | blob | history

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