diff options
author | David Shah <dave@ds0.me> | 2019-06-23 15:01:58 +0100 |
---|---|---|
committer | David Shah <dave@ds0.me> | 2019-06-23 15:01:58 +0100 |
commit | e5c21afc7cc794a7455881262f524d8f276917f7 (patch) | |
tree | 6a87b381801c3140969149060e2de322bf519eaa /common | |
parent | df8688c227706c88c908c94988b188d686d1c09b (diff) | |
download | nextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.tar.gz nextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.tar.bz2 nextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.zip |
timing: Add missing std::min
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'common')
-rw-r--r-- | common/timing.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/timing.cc b/common/timing.cc index 09d15758..997061e6 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -546,7 +546,7 @@ struct Timing for (size_t i = 0; i < sink_net->users.size(); i++) { auto &user = sink_net->users.at(i); if (user.cell == drv.cell && user.port == port.first) { - sink_nd.min_required.at(i) = net_min_required - comb_delay.maxDelay(); + sink_nd.min_required.at(i) = std::min(sink_nd.min_required.at(i), net_min_required - comb_delay.maxDelay()); break; } } |