aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Shah <dave@ds0.me>2019-06-23 15:01:58 +0100
committerDavid Shah <dave@ds0.me>2019-06-23 15:01:58 +0100
commite5c21afc7cc794a7455881262f524d8f276917f7 (patch)
tree6a87b381801c3140969149060e2de322bf519eaa
parentdf8688c227706c88c908c94988b188d686d1c09b (diff)
downloadnextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.tar.gz
nextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.tar.bz2
nextpnr-e5c21afc7cc794a7455881262f524d8f276917f7.zip
timing: Add missing std::min
Signed-off-by: David Shah <dave@ds0.me>
-rw-r--r--common/timing.cc2
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;
}
}