From 1cd975ef8de889bf7f51ea108fcb8df878c906df Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 31 Dec 2013 14:39:02 +0100
Subject: [PATCH] Updated ABC to hg rev 57517e81666b

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 2590033a6..525d85132 100644
--- a/Makefile
+++ b/Makefile
@@ -31,13 +31,13 @@ YOSYS_VER := 0.1.0+
 GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
 OBJS = kernel/version_$(GIT_REV).o
 
-# set 'ABC = default' to use abc/ as it is
+# set 'ABCREV = default' to use abc/ as it is
 #
 # Note: If you do ABC development, make sure that 'abc' in this directory
 # is just a symlink to your actual ABC working directory, as 'make mrproper'
 # will remove the 'abc' directory and you do not want to accidentally
 # delete your work on ABC..
-ABCREV = 9241719523f6
+ABCREV = 57517e81666b
 ABCPULL = 1
 
 -include Makefile.conf
-- 
2.30.2