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 {