From a77e14f81dbd8b20ff5bad00f5597bbb86d4a0dd Mon Sep 17 00:00:00 2001 From: Seyon Sivarajah Date: Thu, 31 Aug 2023 17:42:45 +0100 Subject: [PATCH] merge with main --- src/hugr/rewrite/insert_identity.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/hugr/rewrite/insert_identity.rs b/src/hugr/rewrite/insert_identity.rs index 31f685463..a12dd045b 100644 --- a/src/hugr/rewrite/insert_identity.rs +++ b/src/hugr/rewrite/insert_identity.rs @@ -106,8 +106,10 @@ mod tests { use super::super::simple_replace::test::dfg_hugr; use super::*; use crate::{ - algorithm::nest_cfgs::test::build_conditional_in_loop_cfg, extension::prelude::QB_T, - ops::handle::NodeHandle, Hugr, + algorithm::nest_cfgs::test::build_conditional_in_loop_cfg, + extension::{prelude::QB_T, prelude_registry}, + ops::handle::NodeHandle, + Hugr, }; #[rstest] @@ -133,7 +135,7 @@ mod tests { assert_eq!(noop, LeafOp::Noop { ty: QB_T }); - h.validate().unwrap(); + h.validate(&prelude_registry()).unwrap(); } #[test]