From 5c2e287359b44a116ad65e389d2d2f22f71189a6 Mon Sep 17 00:00:00 2001 From: Alan Lawrence Date: Tue, 24 Oct 2023 15:13:11 +0100 Subject: [PATCH] fixup! Fix most validate --- src/hugr/validate.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/hugr/validate.rs b/src/hugr/validate.rs index 89b31b1ee..cea7425bd 100644 --- a/src/hugr/validate.rs +++ b/src/hugr/validate.rs @@ -1418,7 +1418,9 @@ mod test { TypeBound::Any, )); assert_eq!( - identity_hugr_with_type(valid.clone()).0.update_validate(®), + identity_hugr_with_type(valid.clone()) + .0 + .update_validate(®), Ok(()) );