Remove dead code

2024-02-08 14:59:27 -08:00
parent 2bd1bf93a9
commit d320fb6eee
1 changed files with 0 additions and 4 deletions
--- 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);