depth was always 0

usethesource · Feb 29, 2024 · d089ff6 · d089ff6
1 parent b55cebf
commit d089ff6
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/org/rascalmpl/exceptions/RascalStackOverflowError.java b/src/org/rascalmpl/exceptions/RascalStackOverflowError.java
@@ -12,7 +12,6 @@
 package org.rascalmpl.exceptions;
 
 import org.rascalmpl.ast.AbstractAST;
-import org.rascalmpl.interpreter.IEvaluatorContext;
 import org.rascalmpl.interpreter.env.Environment;
 
 /**
@@ -26,12 +25,10 @@ public class RascalStackOverflowError extends RuntimeException {
     private static final long serialVersionUID = -3947588548271683963L;
     private final Environment deepestEnvironment;
     private final AbstractAST currentAST;
-    private final int depth;
 
-    public RascalStackOverflowError(AbstractAST current, Environment deepest, int depth) {
+    public RascalStackOverflowError(AbstractAST current, Environment deepest) {
         this.deepestEnvironment = deepest;
         this.currentAST = current;
-        this.depth = depth;
     }
 
     public Throw makeThrow() {
@@ -49,8 +46,4 @@ public Throw makeThrow() {
     public Environment getEnvironment() {
         return deepestEnvironment;
     }
-
-    public int getDepth() {
-        return depth;
-    }
 }