diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 5521237..c8b2d72 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -3506,13 +3506,9 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) { } if (job->remaining.size() == 0) { - if (job->maxV > job->readVersion) { - job->setResult(false); - MUSTTAIL return complete(job, context); - } else { - job->continuation = done_left_side_iter; - MUSTTAIL return job->continuation(job, context); - } + assert(job->maxV > job->readVersion); + job->setResult(false); + MUSTTAIL return complete(job, context); } if (!checkMaxBetweenExclusive(n, job->remaining[0], 256, job->readVersion,