From fed9a2f4ba19ca269fb39932d586f3e890f494cd Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Tue, 6 Feb 2024 14:16:22 -0500
Subject: [PATCH] =?UTF-8?q?=F0=9F=A4=A6=F0=9F=8F=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/library/kani_macros/src/lib.rs b/library/kani_macros/src/lib.rs
index 491d5c2c9df1..32bd44d2ea38 100644
--- a/library/kani_macros/src/lib.rs
+++ b/library/kani_macros/src/lib.rs
@@ -190,7 +190,7 @@ pub fn modifies(attr: TokenStream, item: TokenStream) -> TokenStream {
 
 /// This module implements Kani attributes in a way that only Kani's compiler can understand.
 /// This code should only be activated when pre-building Kani's sysroot.
-//#[cfg(kani_sysroot)]
+#[cfg(kani_sysroot)]
 mod sysroot {
     use proc_macro_error::{abort, abort_call_site};