diff --git a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java index 613b1c26..ac643f38 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java @@ -173,10 +173,6 @@ public class TYPEStmt implements StatementVisitor{ Constraint oneMethodConstraint = generateConstraint(methodCall, m, info, resolver); methodConstraints.add(oneMethodConstraint); - // geloescht PL 2020-05-01 - //resolver = getResolverInstance(); - //oneMethodConstraint = generateConstraint(methodCall, m, info, resolver); - //Boolean oneMethodConstraint_isInherited = oneMethodConstraint.isInherited(); Constraint extendsOneMethodConstraint = oneMethodConstraint.stream() .map(x -> (x.TA1 instanceof TypePlaceholder && x.GetOperator() == PairOperator.EQUALSDOT &&