From 3ab266328670bf8b57e141e8d3362e3ce32868cf Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Sat, 22 Jul 2023 19:10:13 +0200
Subject: [PATCH] Reformatted file

---
 .../xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt       | 1 +
 1 file changed, 1 insertion(+)

diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt
index 7261fdf06f..f9a9432086 100644
--- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt
+++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt
@@ -216,6 +216,7 @@ fun XcfaLabel.getFlatLabels(): List<XcfaLabel> = when (this) {
         labels.forEach { ret.addAll(it.getFlatLabels()) }
         ret
     }
+
     else -> listOf(this)
 }