diff --git a/slither/core/dominators/utils.py b/slither/core/dominators/utils.py
index 4dd55749d9..ca5c51282e 100644
--- a/slither/core/dominators/utils.py
+++ b/slither/core/dominators/utils.py
@@ -95,5 +95,4 @@ def compute_dominance_frontier(nodes: List["Node"]) -> None:
                     runner.dominance_frontier = runner.dominance_frontier.union({node})
                 while runner != node.immediate_dominator:
                     runner.dominance_frontier = runner.dominance_frontier.union({node})
-                    assert runner.immediate_dominator
                     runner = runner.immediate_dominator