diff --git a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java index 64f8976c0..198b0f4ce 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java @@ -171,8 +171,7 @@ public class TYPEStmt implements StatementVisitor{ methodCall.receiver.accept(this); //Overloading: Set> methodConstraints = new HashSet<>(); - for(MethodAssumption m : - this.getMethods(methodCall.name, methodCall.arglist, info)){ + for(MethodAssumption m : this.getMethods(methodCall.name, methodCall.arglist, info)){ GenericsResolver resolver = getResolverInstance(); Set> oneMethodConstraints = generateConstraint(methodCall, m, info, resolver); methodConstraints.addAll(oneMethodConstraints);