Remove unused

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 8e8f294573fdad746ac0ce806c262fada7b58948..ce7b479fff5cec8f1ddad980572aca59e8843680 100644 (file)
--- 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));