Remove dead code

This commit is contained in:
2024-10-12 12:56:13 -07:00
parent 8bac1f66fc
commit 73f93edf49
-4
View File
@@ -3496,10 +3496,6 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
auto c = getChildGeq(n, job->remaining[0]); auto c = getChildGeq(n, job->remaining[0]);
if (c != nullptr) { if (c != nullptr) {
job->n = c; job->n = c;
if (maxVersion(job->n) > job->readVersion) {
job->setResult(false);
MUSTTAIL return complete(job, context);
}
job->continuation = done_left_side_iter; job->continuation = done_left_side_iter;
MUSTTAIL return job->continuation(job, context); MUSTTAIL return job->continuation(job, context);
} else { } else {