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);