summaryrefslogtreecommitdiff
path: root/passes
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-13 17:23:51 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-13 17:23:51 +0200
commit7f6c83a853e1d127365169e018f44faaac405326 (patch)
treedc0327c58dffd40b9793913e186666169d5b6d62 /passes
parent0c6ffc4c656de69c92727580cd4c192211d10e6d (diff)
More xsthammer improvements (using xst 14.5 now)
Diffstat (limited to 'passes')
-rw-r--r--passes/sat/sat.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index e5f67882..60be79d6 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)