From ce66855a5d4722f684c45aebe4af5d7ecd2fd94d Mon Sep 17 00:00:00 2001
From: Markus Frohme <markus.frohme@udo.edu>
Date: Thu, 22 Aug 2024 11:10:11 +0200
Subject: [PATCH] remove obsolete method

---
 .../main/java/de/learnlib/algorithm/adt/adt/ADTResetNode.java | 4 ----
 1 file changed, 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
index e33336d93..c4c2c9ec2 100644
--- 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;
-    }
 }