From 7d45dd910958a509e93112769c770a0306dca738 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Thu, 14 Nov 2024 21:59:07 -0800
Subject: [PATCH] Revert marker for shadow memory for uninit checks

Handle this later since we'll have to create a function to handle
static objects.
---
 library/kani_core/src/mem_init.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/kani_core/src/mem_init.rs b/library/kani_core/src/mem_init.rs
index ecafe5d8e861..935f14d71c5d 100644
--- a/library/kani_core/src/mem_init.rs
+++ b/library/kani_core/src/mem_init.rs
@@ -23,7 +23,7 @@
 macro_rules! kani_mem_init {
     ($core:path) => {
         /// Global object for tracking memory initialization state.
-        #[kanitool::fn_marker = "MemoryInitializationStateModel"]
+        #[rustc_diagnostic_item = "KaniMemoryInitializationState"]
         static mut MEM_INIT_STATE: MemoryInitializationState = MemoryInitializationState::new();
 
         /// Global object for tracking union initialization state across function boundaries.