diff options
Diffstat (limited to 'backends/json')
| -rw-r--r-- | backends/json/json.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/json/json.cc b/backends/json/json.cc index 7d5ee58e8..05530ee69 100644 --- a/backends/json/json.cc +++ b/backends/json/json.cc @@ -463,7 +463,7 @@ struct JsonBackend : public Backend { } extra_args(f, filename, args, argidx); - log_header("Executing JSON backend.\n"); + log_header(design, "Executing JSON backend.\n"); JsonWriter json_writer(*f, false, aig_mode); json_writer.write_design(design); |