From 93d0caaefbe711be9f8c70dc2f6e8c34cae00451 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Fri, 20 Apr 2018 09:36:29 +0200
Subject: [PATCH] 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
 Varianceberechnung geaendert

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

diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 0ac9fe63..69caef2c 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -352,7 +352,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 		Optional<Integer> xi = nextSetasList.stream().map(x -> x.stream().filter(y -> y.getLhsType() instanceof PlaceholderType)
 				                                  .filter(z -> ((PlaceholderType)z.getLhsType()).getVariance() != 0)
 				                                  .map(c -> ((PlaceholderType)c.getLhsType()).getVariance())
-				                                  .reduce((a,b)-> a*b))
+				                                  .reduce((a,b)-> {if (a==b) return a; else return 0; }))
 												  .filter(d -> d.isPresent())
 												  .map(e -> e.get())
 												  .findAny();