From 8fbbc3ce309e721d894c82208d7697d9bd9bf69b Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <lattuada@vmware.com>
Date: Sun, 12 Nov 2023 09:51:09 +0100
Subject: [PATCH] add feature to vstd to compile without verus

---
 source/pervasive/vstd.rs         | 1 +
 source/rust_verify/src/config.rs | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/pervasive/vstd.rs b/source/pervasive/vstd.rs
index 2835953181..9af466011b 100644
--- 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
index 42febe56a6..8ad5cb3dc0 100644
--- 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());