diff --git a/slither/core/dominators/utils.py b/slither/core/dominators/utils.py index 463eac4b7..77ff22611 100644 --- a/slither/core/dominators/utils.py +++ b/slither/core/dominators/utils.py @@ -21,6 +21,7 @@ def intersection_predecessor(node: "Node") -> Set["Node"]: ret = ret.intersection(pred.dominators) return ret + def _compute_dominators(nodes: List["Node"]) -> None: changed = True