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

---
 .../typeinference/unify/model/UnifyPair.java           | 10 ----------
 1 file changed, 10 deletions(-)

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 b1fecd2c..dcbf2f51 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
@@ -177,16 +177,6 @@ public class UnifyPair {
 		}
 	}
 	
-	public void disableCondWildcards() {
-		if (lhs instanceof PlaceholderType && rhs instanceof PlaceholderType
-			&& (!((PlaceholderType)lhs).isWildcardable() || !((PlaceholderType)rhs).isWildcardable()))
-		{
-			((PlaceholderType)lhs).disableWildcardtable();
-			((PlaceholderType)rhs).disableWildcardtable();
-		}
-			
-	}
-	
 	public Boolean wrongWildcard() {
 		return lhs.wrongWildcard() || rhs.wrongWildcard();
 	}