diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-02 17:25:14 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-02 17:25:14 -0800 |
| commit | dedea5a58d00b97180a9e0a2645f1018add00a36 (patch) | |
| tree | d99210f564f0bdf2b2f5bf02d10b7c0a78c72380 /backends | |
| parent | bac1e65a9cecf9a53292f28554f857e4dd3ff4dd (diff) | |
| download | yosys-dedea5a58d00b97180a9e0a2645f1018add00a36.tar.gz yosys-dedea5a58d00b97180a9e0a2645f1018add00a36.tar.bz2 yosys-dedea5a58d00b97180a9e0a2645f1018add00a36.zip | |
Cleanup
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 2b456bb9a..faa722398 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -473,7 +473,7 @@ struct XAigerWriter } for (auto bit : input_bits) - undriven_bits.erase(sigmap(bit)); + undriven_bits.erase(bit); for (auto bit : output_bits) unused_bits.erase(sigmap(bit)); for (auto bit : unused_bits) @@ -700,7 +700,6 @@ struct XAigerWriter holes_module->ports.push_back(holes_wire->name); } Wire *w = holes_module->addWire(stringf("%s.abc9_ff.Q", cell->name.c_str())); - log_assert(w); holes_module->connect(w, holes_wire); } |