fix format

thanhnguyen-aws · thanhnguyen-aws · commit 5ccddc7fac5e · 2025-07-29T13:27:16.000-07:00
diff --git a/library/core/src/slice/memchr.rs b/library/core/src/slice/memchr.rs
@@ -168,7 +168,7 @@ pub fn memrchr(x: u8, text: &[u8]) -> Option<usize> {
 pub mod verify {
     use super::*;
     use crate::kani;
-    
+
     #[kani::proof]
     #[cfg(not(all(target_arch = "x86_64", target_feature = "sse2")))]
     pub fn check_memchr_naive() {
