cleanup

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 212e1e56103aa16b733d17b45162596e3df1db38..93e0ebc8ccd16a1383e76fb5464ba60cfa1498dc 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -93,7 +93,6 @@ struct XAigerWriter
        dict<SigBit, int> ordered_outputs;
 
        vector<Cell*> box_list;
-       dict<IdString, std::vector<IdString>> box_ports;
 
        int mkgate(int a0, int a1)
        {
@@ -277,6 +276,7 @@ struct XAigerWriter
                        //log_warning("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));
                }
 
+               dict<IdString, std::vector<IdString>> box_ports;
                for (auto cell : box_list) {
                        log_assert(cell);
 

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 30b62dc79ecc4c3e1eff63d90bdaaca012e773b3..5d6d8904c338cc2a85d983bd28a4c277f35ff002 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -182,12 +182,10 @@ struct Abc9Pass : public ScriptPass
                                run("abc9_ops -break_scc -prep_holes" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)");
                        run("select -set abc9_holes A:abc9_holes");
                        run("flatten -wb @abc9_holes");
-run("dump @abc9_holes");
                        run("techmap @abc9_holes");
                        if (dff_mode || help_mode)
                                run("abc9_ops -prep_dff", "(only if -dff)");
                        run("opt -purge @abc9_holes");
-run("dump @abc9_holes");
                        run("aigmap");
                        run("wbflip @abc9_holes");
                }