From 2c7f1e0c1139be8abe84a444f86c2a5245059cbc Mon Sep 17 00:00:00 2001
From: Nick Rolfe <nickrolfe@github.com>
Date: Thu, 6 May 2021 16:28:36 +0100
Subject: [PATCH] Remove unused class

---
 .../internal/ControlFlowGraphImpl.qll          | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll b/ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll
index c05083afb9d..1e7227a24f8 100644
--- a/ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll
+++ b/ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll
@@ -523,24 +523,6 @@ module Trees {
     }
   }
 
-  abstract class BodyStmtPreOrderTree extends BodyStmtTree, PreOrderTree {
-    final override predicate last(AstNode last, Completion c) {
-      this.lastInner(last, c)
-      or
-      not exists(this.getAChild(_)) and
-      last = this and
-      c.isValidFor(this)
-    }
-
-    final override predicate succ(AstNode pred, AstNode succ, Completion c) {
-      BodyStmtTree.super.succ(pred, succ, c)
-      or
-      pred = this and
-      c instanceof SimpleCompletion and
-      this.firstInner(succ)
-    }
-  }
-
   abstract class BodyStmtPostOrderTree extends BodyStmtTree, PostOrderTree {
     override predicate first(AstNode first) { first = this }
   }