removed todo

This commit is contained in:
Florian Steurer 2016-04-28 21:04:58 +02:00
parent 856f5da86b
commit c043717c06

View File

@ -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());