From 2eb5b3bbe8262a810c27ad783808d22a10fd05bf Mon Sep 17 00:00:00 2001
From: Mark Koch <48097969+mark-koch@users.noreply.github.com>
Date: Tue, 2 Jul 2024 09:13:33 +0100
Subject: [PATCH] chore: Use result op from tket2 extension (#279)

---
 guppylang/prelude/_internal.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/guppylang/prelude/_internal.py b/guppylang/prelude/_internal.py
index fa83ab8c..8b2ad5f4 100644
--- 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,