Formatting fix

ftsrg · Nov 12, 2024 · baae8cd · baae8cd
1 parent cddad9a
commit baae8cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...sts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java b/...sts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java
@@ -41,7 +41,7 @@ public static java.util.Collection<Object[]> data() {
 
     @Test
     public void test() throws Exception {
-        XstsMddCheckerTest.runTestWithIterationStrategy(filePath, propPath, safe, IterationStrategy.SAT);
+        XstsMddCheckerTest.runTestWithIterationStrategy(
+                filePath, propPath, safe, IterationStrategy.SAT);
     }
-
 }