From 1d360b9fdf4d47d8051ff334e97774541f2f28dc Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Thu, 15 Feb 2024 13:31:40 +0200
Subject: [PATCH] Remove unused import

---
 src/main/java/api/messages/GoblintMessagesResult.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/api/messages/GoblintMessagesResult.java b/src/main/java/api/messages/GoblintMessagesResult.java
index c025590..920a45e 100644
--- a/src/main/java/api/messages/GoblintMessagesResult.java
+++ b/src/main/java/api/messages/GoblintMessagesResult.java
@@ -4,7 +4,6 @@
 import com.ibm.wala.cast.tree.CAstSourcePositionMap.Position;
 import com.ibm.wala.util.collections.Pair;
 import magpiebridge.core.AnalysisResult;
-import org.thymeleaf.context.IContext;
 
 import java.io.File;
 import java.net.MalformedURLException;