diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java index 805d461c0..60e775369 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 */