diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 866c1663..f969baff 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -288,7 +288,7 @@ public class TypeUnifyTask extends RecursiveTask>> { writeLog("No of Unify " + noou); System.out.println(noou); Set eq = new HashSet<>(); - fstElems.stream().forEach(x -> eq.addAll(x)); + elems.stream().forEach(x -> eq.addAll(x)); res = unify(eq, fc, parallel); } else {//duerfte gar nicht mehr vorkommen PL 2018-04-03 @@ -349,7 +349,7 @@ public class TypeUnifyTask extends RecursiveTask>> { } } else if (variance == 0) { - break; + //break; }} } /* auskommentiert um alle Max und min Betrachtung auszuschalten ENDE */