From 411629279d21e5afdd4bc40637666f44d654e4ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Thu, 7 Mar 2019 13:44:29 +0100
Subject: [PATCH] 	modified:  
 ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
 Kommentar eingefuegt

---
 .../de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
index d03b9f852..362b08ec6 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
@@ -177,6 +177,10 @@ public class UnifyPair {
 		}
 	}
 	
+	/**
+	 * wenn in einem  Paar bestehend aus 2 Typvariablen eine nicht wildcardtable ist,
+	 * so beide auf nicht wildcardtable setzen
+	 */
 	public void disableCondWildcards() {
 		if (lhs instanceof PlaceholderType && rhs instanceof PlaceholderType
 			&& (!((PlaceholderType)lhs).isWildcardable() || !((PlaceholderType)rhs).isWildcardable()))