Update abc

diff --git a/Makefile b/Makefile
index 7115f75a2b698b520d7c5ea520e79749c3b3c4f2..43d993aba7a14c562e7d55e02e5660530bbe451c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -142,7 +142,7 @@ bumpversion:
 # 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 = 4f5f73d
+ABCREV = a4a6957
 ABCPULL = 1
 ABCURL ?= https://github.com/YosysHQ/abc
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 VERBOSE=$(Q)