Skip to content

Commit 4d0fc37

Browse files
committed
Check correct index for skipping cut
1 parent 9accf88 commit 4d0fc37

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

highs/mip/HighsDomain.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2455,9 +2455,9 @@ bool HighsDomain::propagate() {
24552455
numproprows, std::make_pair(HighsInt{0}, HighsInt{0}));
24562456

24572457
auto propagateIndex = [&](HighsInt k) {
2458-
// first check if cut is marked as deleted
2459-
if (cutpoolprop.propagatecutflags_[k] & 2) return;
24602458
HighsInt i = propagateinds[k];
2459+
// first check if cut is marked as deleted
2460+
if (cutpoolprop.propagatecutflags_[i] & 2) return;
24612461

24622462
HighsInt Rlen;
24632463
const HighsInt* Rindex;

0 commit comments

Comments
 (0)