From 1de897fb1fbf31f32084e74befdec03e5302e1ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Thu, 24 May 2018 17:59:51 +0200 Subject: [PATCH] modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java System.out.println geloescht --- .../dhbwstuttgart/typeinference/unify/model/FiniteClosure.java | 1 - 1 file changed, 1 deletion(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java b/src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java index bc70e742..817ef3f4 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java +++ b/src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java @@ -162,7 +162,6 @@ public class FiniteClosure extends Ordering implements IFiniteClosure } HashSet 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);