diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 318f46b8..96feeaf3 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -1387,7 +1387,7 @@ throws MatchException { ExtendsWildcardType exT1 = (ExtendsWildcardType)P.TA1; ExtendsWildcardType exT2 = (ExtendsWildcardType)P.TA2; - if(exT1.get_ExtendsType() instanceof RefType && exT2.get_ExtendsType() instanceof RefType) + //if(exT1.get_ExtendsType() instanceof RefType && exT2.get_ExtendsType() instanceof RefType) PL 15-01-30 { TA1 = (RefType)exT1.get_ExtendsType(); TA2 = (RefType)exT2.get_ExtendsType(); @@ -1397,7 +1397,7 @@ throws MatchException { SuperWildcardType suT1 = (SuperWildcardType)P.TA1; SuperWildcardType suT2 = (SuperWildcardType)P.TA2; - if(suT1.get_SuperType() instanceof RefType && suT2.get_SuperType() instanceof RefType) + //if(suT1.get_SuperType() instanceof RefType && suT2.get_SuperType() instanceof RefType) PL 15-01-30 { TA1 = (RefType)suT1.get_SuperType(); TA2 = (RefType)suT2.get_SuperType();