arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix char addition issue

Browse Source
This commit is contained in:
Arne Keller 2021-02-10 16:00:32 +01:00
parent c1ce7a9181
commit 2b237797e8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ConstraintSetIndexFactory.java
View File

@ -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++;