From 863bfa40d38380d805e064e00298bd88d399bec3 Mon Sep 17 00:00:00 2001 From: Florian Steurer Date: Wed, 20 Apr 2016 11:34:40 +0200 Subject: [PATCH] performance opt --- src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java index 805d461c..60e77536 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java @@ -58,7 +58,7 @@ public class TypeUnify { * Step 1: Repeated application of reduce, adapt, erase, swap */ Set 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 */