Remove a few log_{push,pop}()

diff --git a/passes/techmap/abc9_map.cc b/passes/techmap/abc9_map.cc
index 9b56f04a8cfa1c2c55ebc11649f84fc65f588768..171289c6d45c215de82c7ee3bb6ef1a090a0a92d 100644 (file)
--- a/passes/techmap/abc9_map.cc
+++ b/passes/techmap/abc9_map.cc
@@ -266,8 +266,6 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip
        fprintf(f, "%s\n", abc9_script.c_str());
        fclose(f);
 
-       log_push();
-
        int count_outputs = design->scratchpad_get_int("write_xaiger.num_outputs");
        log("Extracted %d AND gates and %d wires to a netlist network with %d inputs and %d outputs.\n",
                        design->scratchpad_get_int("write_xaiger.num_ands"),
@@ -645,8 +643,6 @@ clone_lut:
        //{
        //      log("Don't call ABC as there is nothing to map.\n");
        //}
-
-       log_pop();
 }
 
 struct Abc9MapPass : public Pass {
@@ -759,7 +755,6 @@ struct Abc9MapPass : public Pass {
        void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
        {
                log_header(design, "Executing ABC9_MAP pass (technology mapping using ABC9).\n");
-               log_push();
 
 #ifdef ABCEXTERNAL
                std::string exe_file = ABCEXTERNAL;
@@ -913,8 +908,6 @@ struct Abc9MapPass : public Pass {
                                        delay_target, lutin_shared, fast_mode, all_cells, show_tempdir,
                                        box_file, lut_file, wire_delay, nomfs, tempdir_name);
                }
-
-               log_pop();
        }
 } Abc9MapPass;
 

diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc
index dcb8a8a78901190466a2a0a3c0f9092a3975fb9e..a4059bd4d5e01ca4963e14779823b2962734501b 100644 (file)
--- a/passes/techmap/abc9_ops.cc
+++ b/passes/techmap/abc9_ops.cc
@@ -436,7 +436,6 @@ struct Abc9OpsPass : public Pass {
        void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
        {
                log_header(design, "Executing ABC9_OPS pass (helper functions for ABC9).\n");
-               log_push();
 
                bool break_scc_mode = false;
                bool unbreak_scc_mode = false;