Skip to content

Commit

Permalink
Update tket2/src/circuit.rs
Browse files Browse the repository at this point in the history
Co-authored-by: Agustín Borgna <121866228+aborgna-q@users.noreply.github.com>
  • Loading branch information
doug-q and aborgna-q committed Jul 10, 2024
1 parent 0d1d03d commit 4c04a96
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion tket2/src/circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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(),
Expand Down

0 comments on commit 4c04a96

Please sign in to comment.