From 1361f2f775005a8220a9a1aeb90ed9920d7480ee Mon Sep 17 00:00:00 2001
From: "ThetaBotMaintainer[bot]"
 <139346997+ThetaBotMaintainer[bot]@users.noreply.github.com>
Date: Fri, 17 Nov 2023 00:00:02 +0000
Subject: [PATCH] Reformatted code

---
 .../java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt    | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt
index 767854453e..80225eabdf 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt
@@ -52,9 +52,10 @@ fun valToState(xcfa: XCFA, val1: Valuation): XcfaState<ExplState> {
         map[i++] = x
     }
     return XcfaState(
-        xcfa=xcfa,
+        xcfa = xcfa,
         processes = mapOf(Pair(0, XcfaProcessState(
-            locs = LinkedList(listOf(map[(valMap[valMap.keys.first { it.name == "__loc_" }] as IntLitExpr).value.toInt()])),
+            locs = LinkedList(
+                listOf(map[(valMap[valMap.keys.first { it.name == "__loc_" }] as IntLitExpr).value.toInt()])),
             varLookup = LinkedList(),
         ))),
         ExplState.of(