fix: Fix invalid result operation name (#367)

Closes CQCL/tket2#529
CQCL · Aug 8, 2024 · 568624d · 568624d
1 parent 7d5106c
commit 568624d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/guppylang/compiler/expr_compiler.py b/guppylang/compiler/expr_compiler.py
@@ -302,8 +302,8 @@ def visit_ResultExpr(self, node: ResultExpr) -> OutPortV:
             ConstArg(ConstValue(value=node.tag, ty=NumericType(NumericType.Kind.Nat))),
         ]
         op = ops.CustomOp(
-            extension="tket2.results",
-            name="Result",
+            extension="tket2.result",
+            name="result_uint",
             args=[arg.to_hugr() for arg in type_args],
             parent=UNDEFINED,
         )