fix a case in union where order wasn't necessarily preserved

This commit is contained in:
Erik Krogh Kristensen
2021-08-05 08:48:15 +02:00
parent 6ca53c8b25
commit d3ea58002d

View File

@@ -225,7 +225,14 @@ public class CFGExtractor {
return Collections.singleton(x);
}
if (ys.contains(x)) {
return ys;
List<Node> result = new ArrayList<>();
result.add(x);
for (Node y : ys) {
if (y != x) {
result.add(y);
}
}
return result;
}
List<Node> result = new ArrayList<>();