From b93f1dd3763fda3053f8743313216d4f69bad52f Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Sat, 7 Nov 2015 11:47:54 +0100
Subject: [PATCH] fixed greater()

---
 .../dhbwstuttgart/typinference/unify/model/FiniteClosure.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/typinference/unify/model/FiniteClosure.java b/src/de/dhbwstuttgart/typinference/unify/model/FiniteClosure.java
index 4ca7b250..712b99a6 100644
--- a/src/de/dhbwstuttgart/typinference/unify/model/FiniteClosure.java
+++ b/src/de/dhbwstuttgart/typinference/unify/model/FiniteClosure.java
@@ -70,10 +70,10 @@ public class FiniteClosure implements IFiniteClosure {
 	 */
 	@Override
 	public Set<Type> greater(Type type) {
-		if(!inheritanceGraph.containsKey(type))
+		if(!inheritanceGraph.containsKey(type.getName()))
 			return new HashSet<>();
 		
-		return inheritanceGraph.get(type).getContentOfPredecessors();
+		return inheritanceGraph.get(type.getName()).getContentOfPredecessors();
 	}
 	
 	@Override