From 996219d7eec610cd5f1b731c1c9e1db29d098b43 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Sun, 7 Apr 2024 08:34:31 -0700
Subject: [PATCH] Use IPair from non-shaded plumelib artifact

---
 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 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 {