From fa2c6eeb310b80be45c993ca17f0bc2c7a935e12 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Sun, 31 Mar 2024 01:34:55 -0400
Subject: [PATCH] Use CF plumelib.util.IPair

---
 tests/ontology/OntologyTest.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/ontology/OntologyTest.java b/tests/ontology/OntologyTest.java
index c2ae895..e6c2989 100644
--- 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 {