diff --git a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java index 325e453fd..e99713fb5 100644 --- a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java +++ b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java @@ -196,9 +196,9 @@ public class UnifyTypeFactory { if(tl instanceof TypePlaceholder){ if(tr instanceof TypePlaceholder) { if(mp.getPairOp().equals(PairOperator.EQUALSDOT)) - throw new DebugException("TPH =. TPH ist ein ungültiges Ergebnis"); + //throw new DebugException("TPH =. TPH ist ein ungültiges Ergebnis"); //Einfach ignorieren TODO: Das hier muss ausgebessert werden: - //return new PairTPHequalRefTypeOrWildcardType((TypePlaceholder)tl, ASTFactory.createObjectType()); + return new PairTPHequalRefTypeOrWildcardType((TypePlaceholder)tl, ASTFactory.createObjectType()); else return new PairTPHsmallerTPH((TypePlaceholder)tl, (TypePlaceholder)tr); }else if(tr instanceof RefType){