github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-22 02:36:00 +00:00
Code Issues Releases Wiki Activity

When two boxes connect to each other, need not be a (* keep *)

Browse Source
This commit is contained in:
Eddie Hung 2019-09-19 15:40:28 -07:00
parent 37b0fc17e3
commit 2d9484c12c
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
backends/aiger/xaiger.cc
View File

@ -405,12 +405,7 @@ struct XAigerWriter
if (O != b)
alias_map[O] = b;
undriven_bits.erase(O);
auto jt = input_bits.find(b);
if (jt != input_bits.end()) {
log_assert(keep_bits.count(O));
input_bits.erase(b);
}
input_bits.erase(b);
}
}
}