aboutsummaryrefslogtreecommitdiffstats
path: root/passes
diff options
context:
space:
mode:
authorEddie Hung <eddieh@ece.ubc.ca>2019-02-13 14:09:36 -0800
committerEddie Hung <eddieh@ece.ubc.ca>2019-02-13 14:09:36 -0800
commitf0f5d8a5cc44c8b89d234ab9cac20f294a821271 (patch)
treedfa43819f273a0d5ec391fdcc2ba9ba013a12da9 /passes
parent06cf0555ee0b28948295d8c9aedd2583c16ecc6a (diff)
parentc23e3f07517d4818d9ab1b532250353492cf50c2 (diff)
downloadyosys-f0f5d8a5cc44c8b89d234ab9cac20f294a821271.tar.gz
yosys-f0f5d8a5cc44c8b89d234ab9cac20f294a821271.tar.bz2
yosys-f0f5d8a5cc44c8b89d234ab9cac20f294a821271.zip
Merge remote-tracking branch 'origin/read_aiger' into xaig
Diffstat (limited to 'passes')
-rw-r--r--passes/techmap/abc.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index d2d15a4a9..b215b1ea4 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -52,6 +52,8 @@
#include <cerrno>
#include <sstream>
#include <climits>
+#include <array>
+#include <functional>
#ifndef _WIN32
# include <unistd.h>