From 7f6c83a853e1d127365169e018f44faaac405326 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 13 Jun 2013 17:23:51 +0200
Subject: More xsthammer improvements (using xst 14.5 now)

---
 passes/sat/sat.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'passes/sat/sat.cc')

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index e5f678820..60be79d62 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -216,7 +216,7 @@ struct SatHelper
 
 		int import_cell_counter = 0;
 		for (auto &c : module->cells)
-			if (design->selected(module, c.second) && ct.cell_known(c.second->type)) {
+			if (design->selected(module, c.second)) {
 				// log("Import cell: %s\n", RTLIL::id2cstr(c.first));
 				if (satgen.importCell(c.second, timestep)) {
 					for (auto &p : c.second->connections)
-- 
cgit v1.2.3