From c043717c06cd89761cfcc53ac64e2175f9077562 Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Thu, 28 Apr 2016 21:04:58 +0200
Subject: [PATCH] removed todo

---
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index c4d49693..7c51d31c 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -183,7 +183,6 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
 		 * 	Step 6 b) Build the union over everything.
 		 */
 		
-		// TODO Parallel stream und synced set?
 		for(TypeUnifyTask fork : forks) 
 			eqPrimePrimeSet.addAll(fork.join());
 		
@@ -405,7 +404,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
 	 */
 	protected Set<Set<UnifyPair>> unifyCase1(PlaceholderType a, UnifyType thetaPrime, IFiniteClosure fc) {
 		Set<Set<UnifyPair>> result = new HashSet<>();
-
+		
 		Set<UnifyType> cs = fc.getAllTypesByName(thetaPrime.getName());
 		cs.add(thetaPrime);