diff options
Diffstat (limited to 'backends/blif')
| -rw-r--r-- | backends/blif/blif.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index 14b8b372e..f9de87d9f 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -448,7 +448,7 @@ struct BlifBackend : public Backend { std::string false_type, false_out; BlifDumperConfig config; - log_header("Executing BLIF backend.\n"); + log_header(design, "Executing BLIF backend.\n"); size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) |