projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 751e640)
Cleanup
authorEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:29:27 +0000 (10:29 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:29:27 +0000 (10:29 -0700)
backends/aiger/xaiger.cc patch | blob | history

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index bba0ec713bd8bc712320cfc7568e423bda69cb3c..daefd3a732376b671a4208df4766147681dac5a3 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -20,7 +20,6 @@
 
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
-#include "kernel/celltypes.h"
 #include "kernel/utils.h"
 
 USING_YOSYS_NAMESPACE