Stupid typo fix

ftsrg · Nov 13, 2024 · e02be89 · e02be89
1 parent d2a174f
commit e02be89
Showing 1 changed file with 1 addition and 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
@@ -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)