From b558d3cbf5f33f58abc6fd87c2f07d7c1e5b4dec Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Sat, 21 Aug 2021 16:45:05 +0200
Subject: [PATCH] Fix unification test

---
 src/test/java/edu/kit/typicalc/model/UnificationTest.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<Constraint> constraints = new ArrayDeque<>();
         constraints.add(new Constraint(a, new FunctionType(b, c)));
         Deque<Constraint> initialConstraints = new ArrayDeque<>(constraints);
-        Unification u = new Unification(constraints);
+        Unification u = new Unification(new ArrayDeque<>(constraints));
         List<UnificationStep> steps = u.getUnificationSteps();
         assertEquals(2, steps.size());
         assertEquals(new UnificationStep(new Result<>(new ArrayList<>()),