From 2a809e3f2602485b7c8cc49eb55d8521c370098e Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Wed, 7 Feb 2024 10:00:57 +0100
Subject: [PATCH] Small adaptations in two files

---
 src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java | 5 ++++-
 .../learnlib/ralib/learning/ralambda/TestOutputSuffixes.java | 4 ++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java b/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java
index d4a27b4d..78222e8b 100644
--- a/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java
+++ b/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java
@@ -5,7 +5,10 @@
 import java.util.Map;
 import java.util.Set;
 
-import de.learnlib.logging.LearnLogger;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+import de.learnlib.logging.Category;
 import de.learnlib.query.DefaultQuery;
 import de.learnlib.ralib.automata.TransitionGuard;
 import de.learnlib.ralib.automata.guards.GuardExpression;
diff --git a/src/test/java/de/learnlib/ralib/learning/ralambda/TestOutputSuffixes.java b/src/test/java/de/learnlib/ralib/learning/ralambda/TestOutputSuffixes.java
index 376e6662..038d55f1 100644
--- a/src/test/java/de/learnlib/ralib/learning/ralambda/TestOutputSuffixes.java
+++ b/src/test/java/de/learnlib/ralib/learning/ralambda/TestOutputSuffixes.java
@@ -11,7 +11,7 @@
 import org.testng.Assert;
 import org.testng.annotations.Test;
 
-import de.learnlib.api.query.DefaultQuery;
+import de.learnlib.query.DefaultQuery;
 import de.learnlib.ralib.RaLibTestSuite;
 import de.learnlib.ralib.TestUtil;
 import de.learnlib.ralib.automata.RegisterAutomaton;
@@ -35,7 +35,7 @@
 import de.learnlib.ralib.tools.theories.IntegerEqualityTheory;
 import de.learnlib.ralib.words.PSymbolInstance;
 import de.learnlib.ralib.words.ParameterizedSymbol;
-import net.automatalib.words.Word;
+import net.automatalib.word.Word;
 
 public class TestOutputSuffixes extends RaLibTestSuite {