From 84f9623b95e7087cf6ba9c6d5c89ce69bc75cfc1 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Sun, 29 Aug 2021 16:12:37 +0200
Subject: [PATCH] Fix checkstyle

---
 .../view/content/typeinferencecontent/MathjaxUnification.java    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/MathjaxUnification.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/MathjaxUnification.java
index 81ec872..cbcb879 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/MathjaxUnification.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/MathjaxUnification.java
@@ -1,6 +1,5 @@
 package edu.kit.typicalc.view.content.typeinferencecontent;
 
-import com.vaadin.flow.component.Html;
 import com.vaadin.flow.component.Tag;
 import com.vaadin.flow.component.dependency.CssImport;
 import com.vaadin.flow.component.dependency.JsModule;