From ee5165c6e470d0f66e339ff796b074f8ac1a89aa Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 10 Oct 2014 18:19:00 +0200
Subject: Moved patmatch() to yosys.cc

---
 passes/cmds/cover.cc  | 2 --
 passes/cmds/select.cc | 1 -
 2 files changed, 3 deletions(-)

(limited to 'passes/cmds')

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>
 
-- 
cgit v1.2.3