diff options
| -rw-r--r-- | common/timing.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/common/timing.cc b/common/timing.cc index 79a5dbb3..3b3c5da7 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -145,7 +145,6 @@ void assign_budget(Context *ctx, bool quiet) Timing timing(ctx, true /* update */); timing.assign_budget(); - if (!quiet || ctx->verbose) { for (auto &net : ctx->nets) { for (auto &user : net.second->users) { |