From 8a4032e8501741d3899a4fee6e9f7e803e5e4188 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sat, 12 Oct 2024 18:00:19 -0700
Subject: [PATCH] Remove dead code

---
 ConflictSet.cpp | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

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,