From 34a727e0c0617a04afec359fed4d43bc968d50a0 Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Tue, 9 Feb 2021 22:19:22 +0100
Subject: [PATCH] add final type to mgu in LatexCreator

---
 .../content/typeinferencecontent/LatexCreatorConstraints.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstraints.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstraints.java
index 68307c3..f5d5095 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstraints.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstraints.java
@@ -55,8 +55,10 @@ public class LatexCreatorConstraints implements StepVisitor {
         typeInferer.getMGU().ifPresent(mgu -> {
             result.add(generateMGU());
             numberGenerator.push();
+            result.add(generateMGU() + LATEX_NEW_LINE + new LatexCreatorType(typeInferer.getType().get()).getLatex());
+            numberGenerator.push();
         });
-        // todo return final type, dont forget numberGenerator.push();
+        // todo add some helpful text for the user
         if (FIRST_PREFIX.equals(prefix)) {
             result.replaceAll(content -> ALIGN_BEGIN + content + ALIGN_END);
         }