diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 227f4b5..f8aac2f 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -2706,10 +2706,9 @@ bool checkRangeReadImpl(Node *n, std::span begin, for (;;) { bool leftDone = checkRangeLeftSide.step(); - ++range_read_iterations_accum; bool rightDone = checkRangeRightSide.step(); - ++range_read_iterations_accum; if (!leftDone && !rightDone) { + range_read_iterations_accum += 2; continue; } if (leftDone && rightDone) {