Reformatted file

ftsrg · Jul 22, 2023 · 3ab2663 · 3ab2663
1 parent dee2610
commit 3ab2663
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -216,6 +216,7 @@ fun XcfaLabel.getFlatLabels(): List<XcfaLabel> = when (this) {
         labels.forEach { ret.addAll(it.getFlatLabels()) }
         ret
     }
+
     else -> listOf(this)
 }