From 6a3dd7fa4b840497cb3012de16ce049afe16cb82 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Sun, 31 Mar 2024 19:23:16 -0400
Subject: [PATCH] Format code

---
 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 e6c2989..197931b 100644
--- 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.junit.runners.Parameterized.Parameters;
 import org.checkerframework.org.plumelib.util.IPair;
+import org.junit.runners.Parameterized.Parameters;
 
 public class OntologyTest extends CFInferenceTest {