Make clippy happy

model-checking · Jul 3, 2024 · cb93dcb · cb93dcb
1 parent ed11c8e
commit cb93dcb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/kani_core/src/mem.rs b/library/kani_core/src/mem.rs
@@ -128,7 +128,7 @@ macro_rules! kani_mem {
             metadata.is_ptr_aligned(thin_ptr, Internal)
                 && is_inbounds(&metadata, thin_ptr)
                 && {
-                    crate::assert(
+                    assert!(
                         is_initialized(ptr, 1),
                         "Undefined Behavior: Reading from an uninitialized pointer",
                     );
@@ -166,7 +166,7 @@ macro_rules! kani_mem {
             // does not make sense to use it inside assumption context.
             is_inbounds(&metadata, thin_ptr)
                 && {
-                    crate::assert(
+                    assert!(
                         is_initialized(ptr, 1),
                         "Undefined Behavior: Reading from an uninitialized pointer",
                     );