diff --git a/tests/ontology/OntologyTest.java b/tests/ontology/OntologyTest.java index 197931b..2a82a3f 100644 --- a/tests/ontology/OntologyTest.java +++ b/tests/ontology/OntologyTest.java @@ -6,7 +6,7 @@ import java.util.List; import ontology.solvers.backend.OntologySolverEngine; import org.checkerframework.framework.test.TestUtilities; -import org.checkerframework.org.plumelib.util.IPair; +import org.plumelib.util.IPair; import org.junit.runners.Parameterized.Parameters; public class OntologyTest extends CFInferenceTest {