diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java index 49f19222..7274ac9d 100755 --- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java @@ -2379,7 +2379,8 @@ throws MatchException ret &= true; //GEAENDERT PL 14-01-17 } } - if( Temp instanceof RefType ) + if( (Temp instanceof RefType ) || (Temp instanceof ExtendsWildcardType ) || (Temp instanceof SuperWildcardType ) ) + //PL 2015-01-20 eingefuegt: || (Temp instanceof ExtendsWildcardType ) || (Temp instanceof SuperWildcardType ) { Pair PTemp = new Pair( Temp, null); inferencelog.debug(" TV!!!" + PTemp.toString() );