diff --git a/zxlive/rewrite_action.py b/zxlive/rewrite_action.py index 99bf28a..083f3d9 100644 --- a/zxlive/rewrite_action.py +++ b/zxlive/rewrite_action.py @@ -68,9 +68,9 @@ def do_rewrite(self, panel: ProofPanel) -> None: panel.undo_stack.push(cmd, anim_before=anim_before, anim_after=anim_after) # TODO: Narrow down the type of the first return value. - def apply_rewrite(self, g: GraphT, matches: list) -> tuple[Any, Optional[list[VT]]]: + def apply_rewrite(self, g: GraphT, matches: list) -> tuple[Any, list[VT]]: if self.returns_new_graph: - return self.rule(g, matches), None + return self.rule(g, matches), [] etab, rem_verts, rem_edges, check_isolated_vertices = self.rule(g, matches) g.remove_edges(rem_edges)