From 116aea51c387caaa0eb989da5179c6f512ac0f32 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Fri, 2 Jul 2021 15:13:10 +0200
Subject: [PATCH] Replace variables in MGU properly

---
 src/main/java/edu/kit/typicalc/model/Tree.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/edu/kit/typicalc/model/Tree.java b/src/main/java/edu/kit/typicalc/model/Tree.java
index 894dd5d..939357e 100644
--- a/src/main/java/edu/kit/typicalc/model/Tree.java
+++ b/src/main/java/edu/kit/typicalc/model/Tree.java
@@ -133,6 +133,7 @@ public class Tree implements TermVisitorTree {
         Map<VarTerm, TypeAbstraction> extendedTypeAssumptions = new LinkedHashMap<>(typeAssumptions);
         Type assType = typeVarFactory.nextTypeVariable();
         TypeAbstraction assAbs = new TypeAbstraction(assType);
+        extendedTypeAssumptions.remove(absTerm.getVariable());
         extendedTypeAssumptions.put(absTerm.getVariable(), assAbs);
 
         Type premiseType = typeVarFactory.nextTypeVariable();