diff --git a/src/main/java/inference/rewrite/ResourceTree.java b/src/main/java/inference/rewrite/ResourceTree.java
index f379f04..1762dcc 100644
--- a/src/main/java/inference/rewrite/ResourceTree.java
+++ b/src/main/java/inference/rewrite/ResourceTree.java
@@ -58,7 +58,7 @@
 			return List.of(top);
 		} else if (term instanceof DependencyTerm depTerm) {
 			EvaluatableTerm dependingTerm = depTerm.getDependingTerm();
-			List<Resource> dependedResources = depTerm.getDependedResources(); 
+			List<EvaluatableTerm> dependedResources = depTerm.getDependedTerms(); 
 			List<EvaluatableTerm> argumentTerms = depTerm.getArgumentTerms();
 			List<Position> dependingTermPositions = constructResourceTree(dependingTerm, top);
 			List<Position> resultPositions = new ArrayList<>();