From 19ba61a8a2a9f2af79b70bc4eb8fb4512d2f3efd Mon Sep 17 00:00:00 2001
From: Federico Ulliana <ulliana@lirmm.fr>
Date: Thu, 20 Feb 2025 14:38:12 +0100
Subject: [PATCH] using ad-hoc chase for explanations

---
 .../explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
index 91c10dd83..040ea1a74 100644
--- a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
+++ b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
@@ -44,7 +44,7 @@ public abstract class AbstractStaticGRIBasedExplainer_TrackerGRI<ExplanationType
      */
     public AbstractStaticGRIBasedExplainer_TrackerGRI(KnowledgeBase kb) {
         this.inputKB = kb;
-        this.griKBChase = DefaultChaseForExplanations.chase(inputKB);
+        this.griKBChase = DefaultChaseForExplanations.chaseForTracker(inputKB);
         this.griTracker = griKBChase.getTracker();
     }
 
-- 
GitLab