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