🤦🏼

model-checking · Feb 6, 2024 · fed9a2f · fed9a2f
1 parent 3cefe89
commit fed9a2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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};