diff --git a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
index aef8068c..a962c2bc 100644
--- a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
+++ b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
@@ -26,7 +26,6 @@ public class UnifyTypeFactory {
 
     public static FiniteClosure generateFC(List<ClassOrInterface> fromClasses) throws ClassNotFoundException {
         /*
-        TODO: Generics werden zu TPHs
         Die transitive Hülle muss funktionieren.
         Man darf schreiben List<A> extends AL<A>
         und Vector<B> extends List<B>
diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java b/src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
index 56718198..1080f03b 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
@@ -96,4 +96,14 @@ public abstract class UnifyType {
 		ret.addAll(typeParams.getInvolvedPlaceholderTypes());
 		return ret;
 	}
+
+	@Override
+	public int hashCode() {
+		return this.toString().hashCode();
+	}
+
+	@Override
+	public boolean equals(Object obj) {
+		return this.toString().equals(obj.toString());
+	}
 }
\ No newline at end of file
diff --git a/test/typeinference/MatrixTest.java b/test/typeinference/MatrixTest.java
new file mode 100644
index 00000000..8cc587c9
--- /dev/null
+++ b/test/typeinference/MatrixTest.java
@@ -0,0 +1,9 @@
+package typeinference;
+
+import java.io.File;
+
+public class MatrixTest extends JavaTXCompilerTest{
+    public MatrixTest() {
+        this.fileToTest = new File(rootDirectory+"Matrix.jav");
+    }
+}
\ No newline at end of file