From 4d0e0fea3e4c9e84092f4e65308813b376196426 Mon Sep 17 00:00:00 2001
From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com>
Date: Wed, 25 Aug 2021 14:02:54 +0200
Subject: [PATCH] Small bugfix

---
 .../latexcreator/ExplanationCreatorUnification.java           | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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));
            }
        }
    }