From 2f770593dad85bf6bcd6cf574b0441ab85fcdd0f Mon Sep 17 00:00:00 2001
From: Federico Ulliana <ulliana@lirmm.fr>
Date: Thu, 20 Feb 2025 12:21:38 +0100
Subject: [PATCH] removed useless import

---
 .../boreal/explanation/api/encoders/GSATEncodingResult_GRI.java  | 1 -
 1 file changed, 1 deletion(-)

diff --git a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncodingResult_GRI.java b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncodingResult_GRI.java
index a62e7a8c2..9e9c8ad50 100644
--- a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncodingResult_GRI.java
+++ b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncodingResult_GRI.java
@@ -2,7 +2,6 @@ package fr.boreal.explanation.api.encoders;
 
 import com.google.common.collect.BiMap;
 import fr.boreal.model.logicalElements.api.Atom;
-import fr.boreal.model.logicalElements.api.Term;
 import fr.boreal.model.rule.api.FORule;
 
 import java.util.List;
-- 
GitLab