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();