add feature to vstd to compile without verus

verus-lang · Nov 12, 2023 · 8fbbc3c · 8fbbc3c
1 parent 5d1e1ca
commit 8fbbc3c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/source/pervasive/vstd.rs b/source/pervasive/vstd.rs
@@ -10,6 +10,7 @@
 #![allow(unused_attributes)]
 #![allow(rustdoc::invalid_rust_codeblocks)]
 
+#![feature(allocator_api)]
 #![cfg_attr(verus_keep_ghost, feature(core_intrinsics))]
 
 #[cfg(feature = "alloc")]

diff --git a/source/rust_verify/src/config.rs b/source/rust_verify/src/config.rs
@@ -112,7 +112,6 @@ pub fn enable_default_features_and_verus_attr(
         "unboxed_closures",
         "register_tool",
         "tuple_trait",
-        "allocator_api",
         "custom_inner_attributes",
     ] {
         rustc_args.push("-Z".to_string());