From 0a8236cd86031b41a54c82db18a65a2663fe8920 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Tue, 3 Oct 2017 22:06:37 +0200
Subject: [PATCH] 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/RuleSet.java In reduceFunN: &&
 (pair.getPairOp() != PairOperator.EQUALSDOT))     //PL 2017-10-03
 hinzugefuegt 		                                                      
 //da Regel auch fuer EQUALSDOT anwendbar 			              
                                     //TODO: fuer allen anderen Relationen
 noch pruefen

---
 src/de/dhbwstuttgart/typeinference/unify/RuleSet.java | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
index c8222a62..39ea0eff 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
@@ -689,9 +689,11 @@ public class RuleSet implements IRuleSet{
 
 	@Override
 	public Optional<Set<UnifyPair>> reduceFunN(UnifyPair pair) {
-		//if(pair.getPairOp() != PairOperator.SMALLERDOT) //PL 2017-10-03 auskommentiert, 
-		                                                  //da Regel auch fuer EQUALSDOT anwendbar 
-		//	return Optional.empty();
+		if((pair.getPairOp() != PairOperator.SMALLERDOT)  
+		  && (pair.getPairOp() != PairOperator.EQUALSDOT))     //PL 2017-10-03 hinzugefuegt  
+		                                                       //da Regel auch fuer EQUALSDOT anwendbar 
+			                                                   //TODO: fuer allen anderen Relationen noch pruefen
+			return Optional.empty();
 		
 		UnifyType lhsType = pair.getLhsType();
 		UnifyType rhsType = pair.getRhsType();