rename file

verus-lang · Jun 14, 2023 · 460e7d3 · 460e7d3
1 parent 35553ac
commit 460e7d3
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/source/pervasive/prelude.rs b/source/pervasive/prelude.rs
@@ -25,6 +25,6 @@ pub use super::std_specs::option::OptionAdditionalFns;
 pub use super::std_specs::result::ResultAdditionalSpecFns;
 
 #[cfg(not(feature = "no_global_allocator"))] 
-pub use super::std_specs::alloc::VecAdditionalSpecFns;
+pub use super::std_specs::vec::VecAdditionalSpecFns;
 #[cfg(not(feature = "no_global_allocator"))] 
-pub use super::std_specs::alloc::VecAdditionalExecFns;
+pub use super::std_specs::vec::VecAdditionalExecFns;
diff --git a/source/pervasive/slice.rs b/source/pervasive/slice.rs
@@ -4,7 +4,7 @@ use builtin_macros::*;
 use crate::view::*;
 use crate::seq::*;
 
-pub use super::std_specs::alloc::VecAdditionalSpecFns;
+pub use super::std_specs::vec::VecAdditionalSpecFns;
 
 verus!{
 

diff --git a/source/pervasive/std_specs/mod.rs b/source/pervasive/std_specs/mod.rs
@@ -3,4 +3,4 @@ pub mod result;
 pub mod option;
 
 #[cfg(not(feature = "no_global_allocator"))] 
-pub mod alloc;
+pub mod vec;
diff --git a/source/pervasive/std_specs/alloc.rs → source/pervasive/std_specs/vec.rs b/source/pervasive/std_specs/alloc.rs → source/pervasive/std_specs/vec.rs
diff --git a/source/rust_verify/src/rust_to_vir_expr.rs b/source/rust_verify/src/rust_to_vir_expr.rs
@@ -3165,7 +3165,7 @@ pub(crate) fn expr_to_vir_innermost<'tcx>(
                         krate: Some(Arc::new("vstd".to_string())),
                         segments: Arc::new(vec![
                             Arc::new("std_specs".to_string()),
-                            Arc::new("alloc".to_string()),
+                            Arc::new("vec".to_string()),
                             Arc::new("vec_index".to_string()),
                         ]),
                     }),