From a822c98f58e5342e53ebc5c9ff3a61d900f5cd85 Mon Sep 17 00:00:00 2001 From: AlexLB99 Date: Wed, 15 Jan 2025 17:39:29 -0500 Subject: [PATCH] other formatting fixes --- library/core/src/intrinsics/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/core/src/intrinsics/mod.rs b/library/core/src/intrinsics/mod.rs index 84368393a2bc7..7f9796749a0bd 100644 --- a/library/core/src/intrinsics/mod.rs +++ b/library/core/src/intrinsics/mod.rs @@ -4665,7 +4665,7 @@ mod verify { } #[kani::proof] - #[kani::stub_verified(transmute_unchecked_wrapper)] + #[kani::stub_verified(transmute_unchecked_wrapper)] #[kani::should_panic] fn transmute_invalid_u32_to_char() { let num: u32 = kani::any(); @@ -4679,7 +4679,7 @@ mod verify { } #[kani::proof] - #[kani::stub_verified(transmute_unchecked_wrapper)] + #[kani::stub_verified(transmute_unchecked_wrapper)] #[kani::should_panic] fn transmute_invalid_u8_to_bool() { let num: u8 = kani::any();