diff --git a/src/test/java/typeinference/UnifyTest.java b/src/test/java/typeinference/UnifyTest.java index d52fc9b26..b28a5b99b 100644 --- a/src/test/java/typeinference/UnifyTest.java +++ b/src/test/java/typeinference/UnifyTest.java @@ -88,7 +88,8 @@ public class UnifyTest { ConstraintSet< Pair> cons = new ConstraintSet<>(); UnifyResultModel urm = new UnifyResultModel(cons, finiteClosure); UnifyTaskModel tasks = new UnifyTaskModel(); - urm = unifyAlgo.unifyParallel(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks); + Set> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks); + System.out.println(solution.size()); } /* @Test