From 0b24435641fdf266374ec9dbdc9b8ef8d1b81fc1 Mon Sep 17 00:00:00 2001
From: Artem Agvanian <nartagva@amazon.com>
Date: Wed, 10 Jul 2024 14:30:18 -0700
Subject: [PATCH] Try substituting `$crate` with `super` to make
 `verify_std_cmd` pass on CI

---
 library/kani_core/src/mem.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/kani_core/src/mem.rs b/library/kani_core/src/mem.rs
index bbae19db65c5..bcf4cd2248a6 100644
--- a/library/kani_core/src/mem.rs
+++ b/library/kani_core/src/mem.rs
@@ -312,7 +312,7 @@ macro_rules! kani_mem {
 
         /// 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::check(
+            super::check(
                 is_initialized(ptr),
                 "Undefined Behavior: Reading from an uninitialized pointer",
             );