From 141194c983db65f8c7ca3a5ea708d6d1e4828aae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Fri, 19 Oct 2018 17:36:23 +0200
Subject: [PATCH] 	modified:  
 ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java erste
 version mit computeCartesianRecursiveOderConstraints aktiviert Fehler bei
 durchschnitt leer wird Element geloescht.

---
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 24900e58a..94487f9c6 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -371,7 +371,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 					//for (PlaceholderType var : vars) {
 					//	ret = ret || x.stream().map(b -> b.getLhsType().equals(var)).reduce((c,d) -> c || d).get();
 					//}
-						return (!x.containsAll(durchschnitt));
+						return (!x.containsAll(durchschnitt));//Was passiert wenn durchschnitt leer ist??
 					})//.filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y)) //fuer testzwecke auskommentiert um nofstred zu bestimmen PL 2018-10-10
 							.collect(Collectors.toCollection(ArrayList::new));
 					nofstred = nextSetasList.size();