Update API to compatiable with CFI change

opprop · Mar 31, 2024 · 49c4276 · 49c4276
1 parent 1dea021
commit 49c4276
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/ontology/OntologyTest.java b/tests/ontology/OntologyTest.java
@@ -6,8 +6,8 @@
 import java.util.List;
 import ontology.solvers.backend.OntologySolverEngine;
 import org.checkerframework.framework.test.TestUtilities;
-import org.checkerframework.javacutil.Pair;
 import org.junit.runners.Parameterized.Parameters;
+import org.plumelib.util.IPair;
 
 public class OntologyTest extends CFInferenceTest {
 
@@ -27,11 +27,11 @@ public boolean useHacks() {
     }
 
     @Override
-    public Pair<String, List<String>> getSolverNameAndOptions() {
+    public IPair<String, List<String>> getSolverNameAndOptions() {
         final String solverName = OntologySolverEngine.class.getCanonicalName();
         List<String> solverOptions = new ArrayList<>();
         solverOptions.add("solver=Z3");
-        return Pair.<String, List<String>>of(solverName, solverOptions);
+        return IPair.<String, List<String>>of(solverName, solverOptions);
     }
 
     @Parameters