diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index ef5b43f..5536608 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -3496,10 +3496,6 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
     auto c = getChildGeq(n, job->remaining[0]);
     if (c != nullptr) {
       job->n = c;
-      if (maxVersion(job->n) > job->readVersion) {
-        job->setResult(false);
-        MUSTTAIL return complete(job, context);
-      }
       job->continuation = done_left_side_iter;
       MUSTTAIL return job->continuation(job, context);
     } else {