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;