diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-19 15:40:28 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-19 15:40:28 -0700 |
| commit | 2d9484c12cd1fd96eca5253c876ad545ed209f40 (patch) | |
| tree | c3b1de31811a999f53f4c71be956d883fdafae59 /backends | |
| parent | 37b0fc17e32d84698b6fa4ccbcff40155351e290 (diff) | |
| download | yosys-2d9484c12cd1fd96eca5253c876ad545ed209f40.tar.gz yosys-2d9484c12cd1fd96eca5253c876ad545ed209f40.tar.bz2 yosys-2d9484c12cd1fd96eca5253c876ad545ed209f40.zip | |
When two boxes connect to each other, need not be a (* keep *)
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index fa6ba0aca..cbce4c83b 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -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); } } } |