From f7c53fc6c38c045476cd27feaec669947aff40b4 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Sat, 7 Oct 2023 20:30:37 +0200
Subject: [PATCH] 	modified:  
 src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java 
 Kommentar "In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt"
 eingefuegt

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

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index f9c2d182..6e24e9da 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -371,6 +371,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 		do {
 			eq0Prime = eqSubst.get();
 			eq0 = applyTypeUnificationRules(eq0Prime, fc);
+			/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ANFANG */
 			Set<UnifyPair> occurcheck = new HashSet<>(eq0);
 			occurcheck.removeAll(eq0Prime);
 			ocurrPairs = occurcheck.stream().filter(x -> {
@@ -386,6 +387,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				ret.add(ocurrPairs);
 				return ret;
 			}
+			/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ENDE */
 			eqSubst = rules.subst(eq0, oderConstraints);	
 		} while (eqSubst.isPresent());