Remove unused import

goblint · Feb 15, 2024 · 1d360b9 · 1d360b9
1 parent 5201e6f
commit 1d360b9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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;