diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java index a810dc8..fa33b6a 100644 --- a/src/test/java/UnifyTest.java +++ b/src/test/java/UnifyTest.java @@ -2098,7 +2098,7 @@ public class UnifyTest { FiniteClosure finiteClosure = new FiniteClosure(fcConstraints, new NullWriter()); TypeUnify unifyAlgo = new TypeUnify(); ConstraintSet< Pair> cons = new ConstraintSet<>(); - UnifyResultModelParallel urm = new UnifyResultModelParallel(cons, finiteClosure); + UnifyResultModel urm = new UnifyResultModel(cons, finiteClosure); UnifyTaskModelParallel tasks = new UnifyTaskModelParallel(); Set> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks); System.out.println(solution.size());