From efa79da5d509befca80a38ea76f512c9a881a3bd Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 9 Oct 2014 13:54:44 +0200
Subject: [PATCH] filterUndConstraints

---
 src/de/dhbwstuttgart/typeinference/ConstraintsSet.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java b/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java
index 139393209..c7f052ca4 100755
--- a/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java
+++ b/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java
@@ -60,6 +60,11 @@ public class ConstraintsSet implements Iterable<OderConstraint>{
 
 	public void unifyUndConstraints(Unifier unifier) {
 		Vector<UndConstraint> uCons = this.filterUndConstraints();
+		Vector<Pair> alleUndConstraints = new Vector<>();
+		for(UndConstraint undConstraint : uCons){
+			alleUndConstraints.addAll(undConstraint.getConstraintPairs());
+		}
+		Vector<Vector<Pair>> unifyResult = unifier.apply(alleUndConstraints);
 		
 	}