From 85a436198cd38aca3b380dcedcc62a07ae58fba3 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Fri, 3 Aug 2018 22:39:55 -0700 Subject: Remove space --- common/timing.cc | 1 - 1 file changed, 1 deletion(-) 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) { -- cgit v1.2.3