Remove a few log_{push,pop}()

[yosys.git] / passes / techmap / abc9_ops.cc

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;