diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/cmds/cover.cc | 2 | ||||
| -rw-r--r-- | passes/cmds/select.cc | 1 | ||||
| -rw-r--r-- | passes/hierarchy/hierarchy.cc | 1 |
3 files changed, 0 insertions, 4 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index 64f7acf50..b8792a05f 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -19,9 +19,7 @@ #include <sys/types.h> #include <unistd.h> - #include "kernel/yosys.h" -#include "kernel/patmatch.h" USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN diff --git a/passes/cmds/select.cc b/passes/cmds/select.cc index 893f897d2..af0df07b3 100644 --- a/passes/cmds/select.cc +++ b/passes/cmds/select.cc @@ -20,7 +20,6 @@ #include "kernel/yosys.h" #include "kernel/celltypes.h" #include "kernel/sigtools.h" -#include "kernel/patmatch.h" #include <string.h> #include <errno.h> diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc index 68317a60a..87d115027 100644 --- a/passes/hierarchy/hierarchy.cc +++ b/passes/hierarchy/hierarchy.cc @@ -18,7 +18,6 @@ */ #include "kernel/yosys.h" -#include "kernel/patmatch.h" #include <stdlib.h> #include <stdio.h> #include <set> |