diff --git a/library/kani/src/mem.rs b/library/kani/src/mem.rs
index be6a80ee0fe2..33a9405d4e9b 100644
--- a/library/kani/src/mem.rs
+++ b/library/kani/src/mem.rs
@@ -304,7 +304,7 @@ pub fn is_initialized<T: ?Sized>(_ptr: *const T) -> bool {
     kani_intrinsic()
 }
 
-/// A helper to to assert `is_initialized` to use it as a part of other predicates.
+/// A helper to assert `is_initialized` to use it as a part of other predicates.
 fn assert_is_initialized<T: ?Sized>(ptr: *const T) -> bool {
     crate::assert(is_initialized(ptr), "Undefined Behavior: Reading from an uninitialized pointer");
     true
diff --git a/library/kani_core/src/mem.rs b/library/kani_core/src/mem.rs
index 74061d07404b..1d97035beed1 100644
--- a/library/kani_core/src/mem.rs
+++ b/library/kani_core/src/mem.rs
@@ -310,7 +310,7 @@ macro_rules! kani_mem {
             kani_intrinsic()
         }
 
-        /// A helper to to assert `is_initialized` to use it as a part of other predicates.
+        /// A helper to assert `is_initialized` to use it as a part of other predicates.
         fn assert_is_initialized<T: ?Sized>(ptr: *const T) -> bool {
             assert!(
                 is_initialized(ptr),