Added "yosys -D" feature

[yosys.git] / passes / tests / test_autotb.cc

diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc
index bb516fca9c3e5de5bf740c828824fdb9a99f4ee3..f42a58af53edb8d588f399f8ad7d1343403f5a30 100644 (file)
--- a/passes/tests/test_autotb.cc
+++ b/passes/tests/test_autotb.cc
@@ -333,7 +333,7 @@ struct TestAutotbBackend : public Backend {
        {
                int num_iter = 1000;
 
-               log_header("Executing TEST_AUTOTB backend (auto-generate pseudo-random test benches).\n");
+               log_header(design, "Executing TEST_AUTOTB backend (auto-generate pseudo-random test benches).\n");
 
                int argidx;
                for (argidx = 1; argidx < GetSize(args); argidx++)