diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index 130c43657..49f19222f 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -2376,14 +2376,14 @@ throws MatchException
                         // Typvariable ersetzen
                         Vector<Type> vParaListTemp = ((RefType)T).get_ParaList();
                         vParaListTemp.set( i, o ); // i. Element ersetzen
-                        ret = true; //GEAENDERT PL 14-01-16
+                        ret &= true; //GEAENDERT PL 14-01-17
                     }
                 }
                 if( Temp instanceof RefType )
                 {
                     Pair PTemp = new Pair( Temp, null);
                     inferencelog.debug(" TV!!!" + PTemp.toString() );
-                    ret = Subst( PTemp, 1, a, o, bMitVorbedingung );   //GEAENDERT PL 14-01-16
+                    ret &= Subst( PTemp, 1, a, o, bMitVorbedingung );   //GEAENDERT PL 14-01-17
                 }
             }
             return ret;  //EINGEFUEGT PL 14-01-16