small formatting fix

Author: AlexLB99

library/core/src/intrinsics/mod.rs

@@ -4328,7 +4328,7 @@ mod verify {
     fn should_fail_u32_to_char() {
         let src: u32 = kani::any_where(|x| !core::char::from_u32(*x).is_some());
         let dst: char = unsafe { transmute_unchecked_wrapper(src) };
-    } 
+    }
 
     #[kani::proof]
     #[kani::stub_verified(transmute_unchecked_wrapper)]