fixing types

zxcalc · Jul 4, 2024 · 01ab524 · 01ab524
1 parent e166a2a
commit 01ab524
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)