From 32dd59ef28fd3a2b8fa76d3b42b05ff9b185063b Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Mon, 15 Feb 2021 16:16:19 +0100
Subject: [PATCH] fix test

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

diff --git a/src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorTermTest.java b/src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorTermTest.java
index 886950a..0b51f67 100644
--- a/src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorTermTest.java
+++ b/src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorTermTest.java
@@ -18,8 +18,8 @@ class LatexCreatorTermTest {
     @Test
     void absTest() {
         typeInferer = model.getTypeInferer("λx.y", new HashMap<>()).unwrap();
-        assertEquals(PAREN_LEFT + LAMBDA + SPACE + MONO_TEXT + "{x}" + DOT_SIGN
-                        + LATEX_SPACE + MONO_TEXT + "{y}" + PAREN_RIGHT,
+        assertEquals(LAMBDA + SPACE + MONO_TEXT + "{x}" + DOT_SIGN
+                        + LATEX_SPACE + MONO_TEXT + "{y}",
                 new LatexCreatorTerm(typeInferer.getFirstInferenceStep().getConclusion().getLambdaTerm()).getLatex());
     }