fix: Mypy tket2 error (#220)

CQCL · May 17, 2024 · 7ad3908 · 7ad3908
1 parent bd7e67a
commit 7ad3908
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/guppylang/compiler/expr_compiler.py b/guppylang/compiler/expr_compiler.py
@@ -408,7 +408,7 @@ def python_value_to_hugr(v: Any, exp_ty: Type) -> ops.Value | None:
                         Tk2Circuit,
                     )
 
-                    hugr = json.loads(Tk2Circuit(v).to_hugr_json())
+                    hugr = json.loads(Tk2Circuit(v).to_hugr_json())  # type: ignore[attr-defined]
                     return ops.Value(ops.FunctionValue(hugr=hugr))
             except ImportError:
                 pass