Apply suggestions from code review

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
model-checking · Jul 10, 2024 · 853ed24 · 853ed24
1 parent fb07b8a
commit 853ed24
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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),