From 748a38833dc0cc418aa8aa3d6c44b821588eeb9d Mon Sep 17 00:00:00 2001
From: "Dr. Martin Pluemicke" <pl@imac_pl.verw.ba-horb.de>
Date: Wed, 25 Feb 2015 12:04:13 +0100
Subject: [PATCH] Bug fix in Unify Zeile 1339 Typecast vom 1. aufs 2. Argument
 verschoben.

---
 src/de/dhbwstuttgart/typeinference/unify/Unify.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index 5e36d313..3ac54308 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -1390,7 +1390,7 @@ throws MatchException
                 	if((P.TA1 instanceof GenericTypeVar || P.TA1 instanceof RefType) 
                 		&& (P.TA2 instanceof WildcardType && ((WildcardType)P.TA2).GetWildcardType() instanceof TypePlaceholder)) 
                     {
-                    	H.add(new Pair(((WildcardType)P.TA1).GetWildcardType(),P.TA2, PairOperator.Equal));
+                    	H.add(new Pair(P.TA1, ((WildcardType)P.TA2).GetWildcardType(), PairOperator.Equal));
                     	bRegel = true;
                     	continue;
                     }