diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/ExplanationCreatorUnification.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/ExplanationCreatorUnification.java
index d125cf7..4c36d85 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/ExplanationCreatorUnification.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/ExplanationCreatorUnification.java
@@ -182,7 +182,6 @@ public class ExplanationCreatorUnification {
            }
            List<Substitution> substitutions = subs.unwrap();
 
-           List<Constraint> constraints = step.getConstraints();
            if (currentConstraint.getFirstType().equals(currentConstraint.getSecondType())) {
                // trivial constraint
                createTrivialConstraintText(currentConstraint);
@@ -196,8 +195,7 @@ public class ExplanationCreatorUnification {
                        currentConstraint, substitutions.get(substitutions.size() - 1));
            } else {
                // both sides are functions
-               createFunctionText(currentConstraint,
-                       constraints.get(constraints.size() - 1), constraints.get(constraints.size() - 2));
+               createFunctionText(currentConstraint, step.getConstraints().get(0), step.getConstraints().get(1));
            }
        }
    }