From 22499f09e850adff3f020f66c3663b647dfecf6f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Thu, 1 Feb 2018 00:17:12 +0100
Subject: [PATCH] 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java Zeile 101
 Dangling-else Problematik behoben War Fehler im Occurs-Cheeck von
 Montanari-Martelli.

---
 src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java b/src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
index dc90847b..482155fc 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
@@ -98,9 +98,10 @@ public final class TypeParams implements Iterable<UnifyType>{
 	 */
 	public boolean occurs(PlaceholderType t) {
 		for(UnifyType p : typeParams)
-			if(p instanceof PlaceholderType)
+			if(p instanceof PlaceholderType) {//PL 2018-01-31 dangeling else Problem { ... } eingefuegt.
 				if(p.equals(t))
 					return true;
+			}
 			else
 				if(p.getTypeParams().occurs(t))
 					return true;