From c329a4e7d67965e995edcb0fe62f9b7b0d71a97f Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Thu, 28 Jan 2021 10:15:59 +0100
Subject: [PATCH] Use renamed AppTerms method in Tree

---
 src/main/java/edu/kit/typicalc/model/Tree.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/model/Tree.java b/src/main/java/edu/kit/typicalc/model/Tree.java
index cb089f0..f1acede 100644
--- a/src/main/java/edu/kit/typicalc/model/Tree.java
+++ b/src/main/java/edu/kit/typicalc/model/Tree.java
@@ -103,10 +103,10 @@ public class Tree implements TermVisitorTree {
     @Override
     public InferenceStep visit(AppTerm appTerm, Map<VarTerm, TypeAbstraction> typeAssumptions, Type conclusionType) {
         Type leftType = typeVarFactory.nextTypeVariable();
-        InferenceStep leftPremise = appTerm.getLeft().accept(this, typeAssumptions, leftType);
+        InferenceStep leftPremise = appTerm.getFunction().accept(this, typeAssumptions, leftType);
 
         Type rightType = typeVarFactory.nextTypeVariable();
-        InferenceStep rightPremise = appTerm.getRight().accept(this, typeAssumptions, rightType);
+        InferenceStep rightPremise = appTerm.getParameter().accept(this, typeAssumptions, rightType);
 
         FunctionType function = new FunctionType(rightType, conclusionType);
         Constraint newConstraint = new Constraint(leftType, function);