remove obsolete method

LearnLib · Aug 22, 2024 · ce66855 · ce66855
1 parent 836a667
commit ce66855
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/algorithms/active/adt/src/main/java/de/learnlib/algorithm/adt/adt/ADTResetNode.java b/algorithms/active/adt/src/main/java/de/learnlib/algorithm/adt/adt/ADTResetNode.java
@@ -83,8 +83,4 @@ public NodeType getNodeType() {
     public String toString() {
         return "reset";
     }
-
-    public ADTNode<S, I, O> getSuccessor() {
-        return this.successor;
-    }
 }