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