From 6403daad8dc7ab03e169e8d6ff1e9c25182af3ef Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Tue, 20 Jul 2021 16:37:59 +0200
Subject: [PATCH] Fix checkstyle

---
 .../java/edu/kit/typicalc/model/step/StepAnnotator.java     | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/model/step/StepAnnotator.java b/src/main/java/edu/kit/typicalc/model/step/StepAnnotator.java
index 6113352..a7b9aa5 100644
--- a/src/main/java/edu/kit/typicalc/model/step/StepAnnotator.java
+++ b/src/main/java/edu/kit/typicalc/model/step/StepAnnotator.java
@@ -22,9 +22,11 @@ public class StepAnnotator implements StepVisitor {
         var t2 = ((FunctionType) absD.getConstraint().getSecondType()).getOutput();
         annotations.add("$$\\begin{align}"
                 + "&" + LatexCreatorConstants.RULE_VARIABLE + "_1 := "
-                + new LatexCreatorType(t1, LatexCreatorMode.NORMAL).getLatex() + LatexCreatorConstants.LATEX_NEW_LINE + "\n"
+                + new LatexCreatorType(t1, LatexCreatorMode.NORMAL).getLatex() + LatexCreatorConstants.LATEX_NEW_LINE
+                + "\n"
                 + "&" + LatexCreatorConstants.RULE_VARIABLE + "_2 := "
-                + new LatexCreatorType(t2, LatexCreatorMode.NORMAL).getLatex() + LatexCreatorConstants.LATEX_NEW_LINE + "\n"
+                + new LatexCreatorType(t2, LatexCreatorMode.NORMAL).getLatex() + LatexCreatorConstants.LATEX_NEW_LINE
+                + "\n"
                 + "&" + LatexCreatorConstraints.createSingleConstraint(absD.getConstraint(), LatexCreatorMode.NORMAL)
                 + "\\end{align}$$");
         absD.getPremise().accept(this);