Reformatted

ftsrg · Nov 4, 2024 · 17327c4 · 17327c4
1 parent 19ff8fe
commit 17327c4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/MallocFunctionPass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/MallocFunctionPass.kt
@@ -89,7 +89,9 @@ class MallocFunctionPass(val parseContext: ParseContext) : ProcedurePass {
                 invokeLabel.metadata,
               )
             val assign2 = AssignStmtLabel(ret, cast(mallocVar.ref, ret.type))
-            builder.addEdge(XcfaEdge(e.source, e.target, SequenceLabel(listOf(assign1, assign2)), e.metadata))
+            builder.addEdge(
+              XcfaEdge(e.source, e.target, SequenceLabel(listOf(assign1, assign2)), e.metadata)
+            )
           } else {
             builder.addEdge(e)
           }