fix typo

thanhnguyen-aws · thanhnguyen-aws · commit 797b38e0d2de · 2025-08-19T13:02:05.000-07:00
diff --git a/library/core/src/ffi/c_str.rs b/library/core/src/ffi/c_str.rs
@@ -889,7 +889,7 @@ mod verify {
         kani::assume(forall!(|i in (0,len-1)| unsafe {*slice.as_ptr().wrapping_add(i)} != 0));
         let ptr = slice.as_ptr() as *const c_char;
         unsafe {
-            CStr::from_ptr(ptr);
+            CStr::from_ptr(ptr)
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -889,7 +889,7 @@ mod verify {`
`889`	`889`	`kani::assume(forall!(\|i in (0,len-1)\| unsafe {*slice.as_ptr().wrapping_add(i)} != 0));`
`890`	`890`	`let ptr = slice.as_ptr() as *const c_char;`
`891`	`891`	`unsafe {`
`892`		`- CStr::from_ptr(ptr);`
	`892`	`+ CStr::from_ptr(ptr)`
`893`	`893`	`}`
`894`	`894`	`}`
`895`	`895`