From 0a2123c5f37a0fb3cfb0261a2e8aee6b290e1c0a Mon Sep 17 00:00:00 2001
From: Agustin Borgna <agustin.borgna@quantinuum.com>
Date: Wed, 15 Nov 2023 12:06:05 +0000
Subject: [PATCH] Reword "cast" docs

---
 tket2-py/src/circuit/convert.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tket2-py/src/circuit/convert.rs b/tket2-py/src/circuit/convert.rs
index a86d77a4..47993ccd 100644
--- a/tket2-py/src/circuit/convert.rs
+++ b/tket2-py/src/circuit/convert.rs
@@ -23,7 +23,7 @@ pub struct Tk2Circuit {
 
 #[pymethods]
 impl Tk2Circuit {
-    /// Cast a tket1 circuit to a [`Tk2Circuit`].
+    /// Convert a tket1 circuit to a [`Tk2Circuit`].
     #[new]
     pub fn from_tket1(circ: &PyAny) -> PyResult<Self> {
         Ok(Self {
@@ -31,7 +31,7 @@ impl Tk2Circuit {
         })
     }
 
-    /// Cast the [`Tk2Circuit`] to a tket1 circuit.
+    /// Convert the [`Tk2Circuit`] to a tket1 circuit.
     pub fn to_tket1<'py>(&self, py: Python<'py>) -> PyResult<&'py PyAny> {
         SerialCircuit::encode(&self.hugr)?.to_tket1(py)
     }