From d320fb6eee8e793ca81f26e2ffb7d94d2da4e9b2 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Thu, 8 Feb 2024 14:59:27 -0800
Subject: [PATCH] Remove dead code

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

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index ac6f159..a2e5a68 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -520,10 +520,6 @@ struct FirstGeqStepwise {
     switch (phase) {
     case Search:
       if (remaining.size() == 0) {
-        if (n->entryPresent) {
-          cmp = 0;
-          return true;
-        }
         int c = getChildGeq(n, 0);
         assert(c >= 0);
         n = getChildExists(n, c);