modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java

System.out.println geloescht
This commit is contained in:
Martin Plümicke 2018-05-24 17:59:51 +02:00
parent 87dede5d5f
commit 1de897fb1f

View File

@ -162,7 +162,6 @@ public class FiniteClosure extends Ordering<UnifyType> implements IFiniteClosure
}
HashSet<UnifyType> resut = result.stream().map(x -> x.getKey()).collect(Collectors.toCollection(HashSet::new));
System.out.println(resut);
if(resut.equals(types.stream().map(x -> x.getKey()).collect(Collectors.toCollection(HashSet::new))))
return resut;
return computeSmaller(result);