diff options
Diffstat (limited to 'passes/cmds/cover.cc')
| -rw-r--r-- | passes/cmds/cover.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index 5644066af..1475475c3 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -124,7 +124,7 @@ struct CoverPass : public Pass { extra_args(args, argidx, design); if (do_log) { - log_header("Printing code coverage counters.\n"); + log_header(design, "Printing code coverage counters.\n"); log("\n"); } |