Removes unnecessary pub visibility specifier

Author: stogaru

library/core/src/ptr/mut_ptr.rs

@@ -2370,7 +2370,7 @@ impl<T: ?Sized> PartialOrd for *mut T {
 
 #[cfg(kani)]
 #[unstable(feature = "kani", issue = "none")]
-pub mod verify {
+mod verify {
     use crate::kani;
     use core::mem;
     use kani::PointerGenerator;