fix typo · model-checking/verify-rust-std@ce3db1b (original) (raw)

Original file line number Diff line number Diff line change
@@ -73,8 +73,8 @@ cfg_if::cfg_if! {
73 73 #[inline]
74 74 unsafe fn aligned_malloc(layout: &Layout) -> *mut u8 {
75 75 let mut out = ptr::null_mut();
76 -// We prefer posix_memalign over aligned_malloc since it is more widely available, and
77 -// since with aligned_malloc, implementations are making almost arbitrary choices for
76 +// We prefer posix_memalign over aligned_alloc since it is more widely available, and
77 +// since with aligned_alloc, implementations are making almost arbitrary choices for
78 78 // which alignments are "supported", making it hard to use. For instance, some
79 79 // implementations require the size to be a multiple of the alignment (wasi emmalloc),
80 80 // while others require the alignment to be at least the pointer size (Illumos, macOS).