From 01ab524b803a90d86b100c7c9cf77326571aca52 Mon Sep 17 00:00:00 2001 From: Razin Shaikh Date: Fri, 5 Jul 2024 00:43:03 +0100 Subject: [PATCH] fixing types --- zxlive/rewrite_action.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zxlive/rewrite_action.py b/zxlive/rewrite_action.py index 99bf28af..083f3d90 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)