diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java index cb26981..364409d 100644 --- a/src/test/java/UnifyTest.java +++ b/src/test/java/UnifyTest.java @@ -1228,8 +1228,8 @@ 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); - UnifyTaskModelParallel tasks = new UnifyTaskModelParallel(); + UnifyResultModel urm = new UnifyResultModel(cons, finiteClosure); + UnifyTaskModel tasks = new UnifyTaskModel(); Set> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks); System.out.println(solution.size()); }