ABC -> ABC9

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 3f0072d24f4aa127d1fa93fd1a47d5f9fcd5bb05..4b045cbea2e1f7832b8bc4dc3fee7a4879e14366 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -532,7 +532,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
 
                ifs.close();
 
-               log_header(design, "Re-integrating ABC results.\n");
+               log_header(design, "Re-integrating ABC9 results.\n");
                RTLIL::Module *mapped_mod = mapped_design->modules_["\\netlist"];
                if (mapped_mod == NULL)
                        log_error("ABC output file does not contain a module `netlist'.\n");