diff --git a/src/test/java/edu/kit/typicalc/model/UnificationTest.java b/src/test/java/edu/kit/typicalc/model/UnificationTest.java index 43b7e1a..3993a31 100644 --- a/src/test/java/edu/kit/typicalc/model/UnificationTest.java +++ b/src/test/java/edu/kit/typicalc/model/UnificationTest.java @@ -25,7 +25,7 @@ class UnificationTest { Deque constraints = new ArrayDeque<>(); constraints.add(new Constraint(a, new FunctionType(b, c))); Deque initialConstraints = new ArrayDeque<>(constraints); - Unification u = new Unification(constraints); + Unification u = new Unification(new ArrayDeque<>(constraints)); List steps = u.getUnificationSteps(); assertEquals(2, steps.size()); assertEquals(new UnificationStep(new Result<>(new ArrayList<>()),