typo in type annotation

zxcalc · Oct 23, 2024 · 365e8d8 · 365e8d8
1 parent b8ea10a
commit 365e8d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/zxlive/proof_panel.py b/zxlive/proof_panel.py
@@ -435,7 +435,7 @@ def _vert_double_clicked(self, v: VT) -> None:
             self.undo_stack.push(cmd)
             return
 
-    def _edge_double_clicked(self, e: VT) -> None:
+    def _edge_double_clicked(self, e: ET) -> None:
         """When an edge is double clicked, we change it to an H-box if it is a Hadamard edge."""
         new_g = copy.deepcopy(self.graph)
         if new_g.edge_type(e) == EdgeType.HADAMARD: