other formatting fixes

model-checking · Jan 15, 2025 · a822c98 · a822c98
1 parent c903885
commit a822c98
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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();