From 73f93edf4909b64500b751ed71bac8cc5c6c1070 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sat, 12 Oct 2024 12:56:13 -0700
Subject: [PATCH] Remove dead code

---
 ConflictSet.cpp | 4 ----
 1 file changed, 4 deletions(-)

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 {