diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 14:35:52 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 14:35:52 -0800 |
| commit | d1fccd5a2d63b265c1866cb4d54aba8f2c9d225c (patch) | |
| tree | 8ad4e7fb806ca80becfd66698ffc724b73b50a24 /backends/aiger/xaiger.cc | |
| parent | eb4e767053f4731c9f4b82c4dd53504e5fe50802 (diff) | |
| download | yosys-d1fccd5a2d63b265c1866cb4d54aba8f2c9d225c.tar.gz yosys-d1fccd5a2d63b265c1866cb4d54aba8f2c9d225c.tar.bz2 yosys-d1fccd5a2d63b265c1866cb4d54aba8f2c9d225c.zip | |
Remove unused
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 8e8f29457..ce7b479ff 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -927,7 +927,6 @@ struct XAigerWriter void write_map(std::ostream &f, bool verbose_map) { dict<int, string> input_lines; - dict<int, string> init_lines; dict<int, string> output_lines; dict<int, string> wire_lines; @@ -969,10 +968,6 @@ struct XAigerWriter f << it.second; log_assert(input_lines.size() == input_bits.size()); - init_lines.sort(); - for (auto &it : init_lines) - f << it.second; - int box_count = 0; for (auto cell : box_list) f << stringf("box %d %d %s\n", box_count++, 0, log_id(cell->name)); |