From 2b237797e820fe31b1f58458cb657cbb71fcb3d7 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Wed, 10 Feb 2021 16:00:32 +0100
Subject: [PATCH] Fix char addition issue

---
 .../typeinferencecontent/ConstraintSetIndexFactory.java       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ConstraintSetIndexFactory.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ConstraintSetIndexFactory.java
index bc2694c..ab10f09 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ConstraintSetIndexFactory.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ConstraintSetIndexFactory.java
@@ -30,8 +30,8 @@ public class ConstraintSetIndexFactory {
         String index = nextConstraintSetIndex == FIRST_CONSTRAINT_SET_INDEX
                 ? ""
                 :  nextConstraintSetIndex == FIRST_CONSTRAINT_SET_INDEX + 1
-                    ? UNDERSCORE + CURLY_LEFT + LET + CURLY_RIGHT
-                    : UNDERSCORE + CURLY_LEFT + LET + UNDERSCORE
+                    ? "" + UNDERSCORE + CURLY_LEFT + LET + CURLY_RIGHT
+                    : "" + UNDERSCORE + CURLY_LEFT + LET + UNDERSCORE
                         + CURLY_LEFT + nextConstraintSetIndex + CURLY_RIGHT + CURLY_RIGHT;
 
         nextConstraintSetIndex++;