From 6bae4a3b01c4d81ecff3a743614b07087e1197bf Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Sun, 29 Aug 2021 15:32:49 +0200
Subject: [PATCH] Fix incorrect latex code on let term

---
 .../latexcreator/LatexCreatorConstraints.java                  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 c789704..ec7193c 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
@@ -220,7 +220,8 @@ public class LatexCreatorConstraints implements StepVisitor {
                     .append(DOLLAR_SIGN).append(COMMA).append(DOLLAR_SIGN);
         });
         if (!letConstraints.isEmpty()) {
-            // remove comma and dollar sign
+            // remove last comma and dollar signs
+            result.deleteCharAt(result.length() - 1);
             result.deleteCharAt(result.length() - 1);
             result.deleteCharAt(result.length() - 1);
         }