From 225f380735ab78f71e05334c707dd0c599e62ccb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@macmini_pl.verw.ba-horb.de>
Date: Fri, 19 Oct 2018 16:09:59 +0200
Subject: [PATCH] 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java letzte Version
 bevor computeCartesianRecursiveOderConstraints aktiviert wird

---
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 7af531e6e..4ed9f8fbc 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -399,12 +399,13 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				//	result.removeIf(y -> isUndefinedPairSet(y));
 				//}
 				//else result.stream().filter(y -> !isUndefinedPairSet(y));
-			}
+			} // End of if (remainingSets.isEmpty())
 			else {//duerfte gar nicht mehr vorkommen PL 2018-04-03
 				result.addAll(computeCartesianRecursive(elems, remainingSets, eq, fc, parallel)); 
 			}
 			return result;
-		}
+		} // End of while (nextSetasList.size() > 0)
+		return null; //kann nicht erreicht werden, da der Fall bei dem nextSet == empty bereits am Anfang abgefangen wird
 	}