performance opt

This commit is contained in:
Florian Steurer 2016-04-20 11:34:40 +02:00
parent 6a42c8ef11
commit 863bfa40d3

View File

@ -58,7 +58,7 @@ public class TypeUnify {
* Step 1: Repeated application of reduce, adapt, erase, swap
*/
Set<UnifyPair> eq0 = applyTypeUnificationRules(eq, fc);
/*
* Step 2 and 3: Create a subset eq1s of pairs where both sides are TPH and eq2s of the other pairs
*/