diff options
Diffstat (limited to 'passes/cmds/check.cc')
| -rw-r--r-- | passes/cmds/check.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 2ad84838..b3622cb1 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -68,7 +68,7 @@ struct CheckPass : public Pass { } extra_args(args, argidx, design); - log_header("Executing CHECK pass (checking for obvious problems).\n"); + log_header(design, "Executing CHECK pass (checking for obvious problems).\n"); for (auto module : design->selected_whole_modules_warn()) { |