diff --git a/src/typinferenz/TypeInsertSet.java b/src/typinferenz/TypeInsertSet.java
index 2b26de0e..db1c8866 100644
--- a/src/typinferenz/TypeInsertSet.java
+++ b/src/typinferenz/TypeInsertSet.java
@@ -56,6 +56,7 @@ public class TypeInsertSet {
 	public boolean equals(Object obj){
 		if(! (obj instanceof TypeInsertSet))return false;
 		TypeInsertSet equals = (TypeInsertSet) obj;
+		if(points.size()!=equals.points.size())return false;
 		for(TypeInsertPoint point : points){
 			//Jeder TypeInsertPoint muss auch in equals vorkommen:
 			if(!equals.points.contains(point))return false;