chore: Use result op from tket2 extension (#279)

CQCL · Jul 2, 2024 · 2eb5b3b · 2eb5b3b
1 parent a49038c
commit 2eb5b3b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/guppylang/prelude/_internal.py b/guppylang/prelude/_internal.py
@@ -308,7 +308,7 @@ class ResultCompiler(CustomCallCompiler):
 
     def compile(self, args: list[OutPortV]) -> list[OutPortV]:
         op = ops.CustomOp(
-            extension="Results",
+            extension="tket2.results",
             op_name="Result",
             args=[arg.to_hugr() for arg in self.type_args],
             parent=UNDEFINED,