diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-10-10 18:19:00 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-10-10 18:20:17 +0200 |
commit | ee5165c6e470d0f66e339ff796b074f8ac1a89aa (patch) | |
tree | 71b5d7c8e2c2d8aebc5ceb87b80e43b5a1d31e8f /passes/cmds/cover.cc | |
parent | 774933a0d88502585cf8c169280e71d0c3d182fc (diff) |
Moved patmatch() to yosys.cc
Diffstat (limited to 'passes/cmds/cover.cc')
-rw-r--r-- | passes/cmds/cover.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index 64f7acf5..b8792a05 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 |