Format code

opprop · Mar 31, 2024 · 6a3dd7f · 6a3dd7f
1 parent fa2c6ee
commit 6a3dd7f
Showing 1 changed file with 1 addition and 1 deletion.
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.junit.runners.Parameterized.Parameters;
 import org.checkerframework.org.plumelib.util.IPair;
+import org.junit.runners.Parameterized.Parameters;
 
 public class OntologyTest extends CFInferenceTest {