Improve readability of dangling state check

Ref. #410
AdaCore · Aug 24, 2020 · cd468f1 · cd468f1
1 parent be6644e
commit cd468f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rflx/model.py b/rflx/model.py
@@ -1829,7 +1829,7 @@ def prune_dangling_states(
                 progress = False
                 states = {x for l in structure for x in (l.source, l.target) if x != FINAL}
                 for s in states:
-                    if not [l for l in structure if l.source == s]:
+                    if all(l.source != s for l in structure):
                         dangling.append(s)
                         progress = True
                 structure = [l for l in structure if l.target not in dangling]