From e702f745c3eba9fab3b382413841c3ff24ac3423 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Wed, 29 Nov 2017 14:31:07 +0100
Subject: [PATCH] Dirty fix

---
 src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
index 325e453f..e99713fb 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){