From baae8cdcf88d188585942db65b571b77db323934 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Tue, 12 Nov 2024 14:01:51 +0100
Subject: [PATCH] Formatting fix

---
 .../hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java
index c6908856ec..fff6458ac8 100644
--- a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsSatMddCheckerTest.java
+++ b/subprojects/xsts/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);
     }
-
 }