Added "yosys -D" feature

[yosys.git] / manual / CHAPTER_Prog / stubnets.cc

diff --git a/manual/CHAPTER_Prog/stubnets.cc b/manual/CHAPTER_Prog/stubnets.cc
index 976107fbf905ee417d8c5291d7f37957304ba901..eb77bd4044478b8faff2d5f25386f89df09b3dcd 100644 (file)
--- a/manual/CHAPTER_Prog/stubnets.cc
+++ b/manual/CHAPTER_Prog/stubnets.cc
@@ -103,7 +103,7 @@ struct StubnetsPass : public Pass {
                // variables to mirror information from passed options
                bool report_bits = 0;
 
-               log_header("Executing STUBNETS pass (find stub nets).\n");
+               log_header(design, "Executing STUBNETS pass (find stub nets).\n");
 
                // parse options
                size_t argidx;