From 5e5a17b265bc3635de953f6ce071ca33fb430a70 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 7 May 2015 14:41:13 +0200
Subject: [PATCH] =?UTF-8?q?toString=20zu=20UndMenge=20hinzugef=C3=BCgt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/de/dhbwstuttgart/typeinference/UndMenge.java        | 8 ++++++++
 test/plugindevelopment/TypeInsertTests/LambdaTest23.jav | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/UndMenge.java b/src/de/dhbwstuttgart/typeinference/UndMenge.java
index 49087949e..1f4d75dff 100644
--- a/src/de/dhbwstuttgart/typeinference/UndMenge.java
+++ b/src/de/dhbwstuttgart/typeinference/UndMenge.java
@@ -64,6 +64,14 @@ public class UndMenge<A> implements KomplexeMenge<A>{
 		}
 		return ret;
 	}
+	
+	public String toString(){
+		String ret = "[";
+		for(KomplexeMenge<A> item : set){
+			ret += item.toString() + "\n";
+		}
+		return ret + "]";
+	}
 }
 
 
diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav
index cd4550ba9..4bc270c4b 100644
--- a/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav
+++ b/test/plugindevelopment/TypeInsertTests/LambdaTest23.jav
@@ -1,4 +1,4 @@
-import de.dhbwstuttgart.typeinference.Vector;
+import java.util.Vector;
 
 class Matrix extends Vector<Vector<Integer>> {