From 6c4090bc4b436b77ebdf9c4acc821f9385704a60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Sun, 18 Jan 2015 23:22:32 +0100
Subject: [PATCH] in Subst = in &= umgeaendert

---
 src/de/dhbwstuttgart/typeinference/unify/Unify.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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