From e02be8980cc10ceea71644f689b0275992559f77 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Thu, 14 Nov 2024 00:30:45 +0100 Subject: [PATCH] Stupid typo fix --- .../src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt index 58ca3bd7ba..f36f8d5ae1 100644 --- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt +++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt @@ -40,7 +40,7 @@ class RemoveAtomics : ProcedurePass { val newLabels = labels.subList(0, beginIndex) + labels.subList(beginIndex + 1, endIndex).filter { - it !is FenceLabel || !it.labels.contains("ATOMIC_") + it !is FenceLabel || !it.labels.any { it.contains("ATOMIC_") } } + labels.subList(endIndex + 1, labels.size) builder.removeEdge(xcfaEdge)