From 136a8d74c3accf0ec37aa0fd142cd25a3cd9c1bb Mon Sep 17 00:00:00 2001
From: uogau <uogau@student.kit.edu>
Date: Thu, 28 Jan 2021 14:06:42 +0100
Subject: [PATCH] Checkstyle Violations

---
 src/main/java/edu/kit/typicalc/view/main/MainView.java        | 4 ++--
 .../java/edu/kit/typicalc/model/parser/LambdaParserTest.java  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/java/edu/kit/typicalc/view/main/MainView.java b/src/main/java/edu/kit/typicalc/view/main/MainView.java
index f55c992..b32d4f0 100644
--- a/src/main/java/edu/kit/typicalc/view/main/MainView.java
+++ b/src/main/java/edu/kit/typicalc/view/main/MainView.java
@@ -25,8 +25,8 @@ public interface MainView {
      */
     void displayError(ParseError error);
     
-    public interface MainViewListener {
+     interface MainViewListener {
         
-        public void typeInferLambdaString(String lambdaTerm, Map<String, String> typeAssumptions);
+        void typeInferLambdaString(String lambdaTerm, Map<String, String> typeAssumptions);
     }
 }
diff --git a/src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java b/src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java
index ec5409d..dd61151 100644
--- a/src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java
+++ b/src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java
@@ -5,12 +5,12 @@ import static org.junit.jupiter.api.Assertions.assertEquals;
 import edu.kit.typicalc.model.term.AbsTerm;
 import edu.kit.typicalc.model.term.AppTerm;
 import edu.kit.typicalc.model.term.BooleanTerm;
-import edu.kit.typicalc.model.term.ConstTerm;
+//import edu.kit.typicalc.model.term.ConstTerm;
 import edu.kit.typicalc.model.term.IntegerTerm;
 import edu.kit.typicalc.model.term.LambdaTerm;
 import edu.kit.typicalc.model.term.LetTerm;
 import edu.kit.typicalc.model.term.VarTerm;
-import edu.kit.typicalc.model.type.NamedType;
+//import edu.kit.typicalc.model.type.NamedType;
 import edu.kit.typicalc.util.Result;
 import org.junit.jupiter.api.Test;