Use CF plumelib.util.IPair

opprop · Mar 31, 2024 · fa2c6ee · fa2c6ee
1 parent 49c4276
commit fa2c6ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/ontology/OntologyTest.java b/tests/ontology/OntologyTest.java
@@ -7,7 +7,7 @@
 import ontology.solvers.backend.OntologySolverEngine;
 import org.checkerframework.framework.test.TestUtilities;
 import org.junit.runners.Parameterized.Parameters;
-import org.plumelib.util.IPair;
+import org.checkerframework.org.plumelib.util.IPair;
 
 public class OntologyTest extends CFInferenceTest {