From fae741c658d9e8fa33ed44192109b81ad863a70b Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Mon, 24 Mar 2014 13:59:21 +0100
Subject: [PATCH] Fehler in der TypeInsertSet.equals() methode behoben

---
 src/typinferenz/TypeInsertSet.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/typinferenz/TypeInsertSet.java b/src/typinferenz/TypeInsertSet.java
index 2b26de0e5..db1c8866c 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;