From a8652642fc3f4b1e31539815c7e6accc9ffff6db Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Fri, 12 Feb 2021 12:40:39 +0100
Subject: [PATCH] move unification error to end of unification

---
 .../latexcreator/LatexCreatorConstraints.java             | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
index de6a056..bd3e966 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
@@ -189,10 +189,6 @@ public class LatexCreatorConstraints implements StepVisitor {
             latex.append(generateUnificationName());
 
             boolean markError = error.isPresent();
-            error.ifPresent(latex::append); // TODO: translation
-            if (error.isPresent()) {
-                latex.append(LATEX_NEW_LINE);
-            }
             List<Constraint> unificationConstraints = step.getConstraints();
             if (!unificationConstraints.isEmpty()) {
                 latex.append(UNIFY + PAREN_LEFT + LATEX_CURLY_LEFT);
@@ -240,6 +236,10 @@ public class LatexCreatorConstraints implements StepVisitor {
                 latex.append(LATEX_NEW_LINE);
             }
             latex.append(SPLIT_END);
+            if (error.isPresent()) {
+                latex.append(LATEX_NEW_LINE + AMPERSAND);
+            }
+            error.ifPresent(latex::append); // TODO: translation
             steps.add(latex.toString());
         }
         return steps;