diff options
Diffstat (limited to 'frontends/liberty/liberty.cc')
| -rw-r--r-- | frontends/liberty/liberty.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc index f02a73230..0be58b6da 100644 --- a/frontends/liberty/liberty.cc +++ b/frontends/liberty/liberty.cc @@ -437,7 +437,7 @@ struct LibertyFrontend : public Frontend { bool flag_ignore_miss_dir = false; std::vector<std::string> attributes; - log_header("Executing Liberty frontend.\n"); + log_header(design, "Executing Liberty frontend.\n"); size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) { |