From 4c04a968f0a39c2b5b1888bee01883d99286d64d Mon Sep 17 00:00:00 2001 From: Douglas Wilson <141026920+doug-q@users.noreply.github.com> Date: Wed, 10 Jul 2024 15:38:16 +0100 Subject: [PATCH] Update tket2/src/circuit.rs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Agustín Borgna <121866228+aborgna-q@users.noreply.github.com> --- tket2/src/circuit.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tket2/src/circuit.rs b/tket2/src/circuit.rs index bc37ff83..54bdf7f1 100644 --- a/tket2/src/circuit.rs +++ b/tket2/src/circuit.rs @@ -358,7 +358,10 @@ fn check_hugr(hugr: &impl HugrView, parent: Node) -> Result<(), CircuitError> { OpType::Case(_) => Ok(()), OpType::TailLoop(_) => Ok(()), _ => { - assert_eq!(None, optype.tag().partial_cmp(&OpTag::DataflowParent)); + debug_assert_eq!( + None, + optype.tag().partial_cmp(&OpTag::DataflowParent), + ); Err(CircuitError::InvalidParentOp { parent, optype: optype.clone(),