format

ftsrg · Nov 11, 2024 · 072c264 · 072c264
1 parent 3cfd5d9
commit 072c264
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
@@ -126,10 +126,7 @@ fun complexPortfolio25(
           solverHome = baseConfig.backendConfig.solverHome,
           timeoutMs = 400_000,
           inProcess = inProcess,
-          specConfig =
-            OcConfig(
-              autoConflict = AutoConflictFinderConfig.RF_WS_FR,
-            ),
+          specConfig = OcConfig(autoConflict = AutoConflictFinderConfig.RF_WS_FR),
         ),
       outputConfig = baseConfig.outputConfig,
       debugConfig = baseConfig.debugConfig,