From df92642c35b977c0d318747ac1d4011061d6e171 Mon Sep 17 00:00:00 2001
From: Mark Koch <48097969+mark-koch@users.noreply.github.com>
Date: Thu, 11 Apr 2024 09:24:12 +0100
Subject: [PATCH] fix: Use correct TK2 gate names (#190)

---
 guppylang/prelude/quantum.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/guppylang/prelude/quantum.py b/guppylang/prelude/quantum.py
index 0d0db1f4..762a94f5 100644
--- a/guppylang/prelude/quantum.py
+++ b/guppylang/prelude/quantum.py
@@ -81,15 +81,15 @@ def rz(q: qubit, angle: float) -> qubit: ...
 def rx(q: qubit, angle: float) -> qubit: ...
 
 
-@guppy.hugr_op(quantum, quantum_op("RzF64"))
+@guppy.hugr_op(quantum, quantum_op("PhasedX"))
 def phased_x(q: qubit, angle1: float, angle2: float) -> qubit: ...
 
 
-@guppy.hugr_op(quantum, quantum_op("RzF64"))
+@guppy.hugr_op(quantum, quantum_op("ZZPhase"))
 def zz_phase(q1: qubit, q2: qubit, angle: float) -> tuple[qubit, qubit]: ...
 
 
-@guppy.hugr_op(quantum, quantum_op("RzF64"))
+@guppy.hugr_op(quantum, quantum_op("TK1"))
 def tk1(q: qubit, angle1: float, angle2: float, angle3: float) -> qubit: ...