From e118555ce67aadb0a58039b3e74f44a43b210528 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 15 Jul 2013 14:23:42 -0400
Subject: remove headers from unique vectors

---
 src/libstd/rt/global_heap.rs | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/libstd/rt')

diff --git a/src/libstd/rt/global_heap.rs b/src/libstd/rt/global_heap.rs
index 68e57dd4940..d0b268ace54 100644
--- a/src/libstd/rt/global_heap.rs
+++ b/src/libstd/rt/global_heap.rs
@@ -84,14 +84,6 @@ pub unsafe fn exchange_malloc(size: uintptr_t) -> *c_char {
     malloc_raw(size as uint) as *c_char
 }
 
-#[cfg(not(test))]
-#[lang="vector_exchange_malloc"]
-#[inline]
-pub unsafe fn vector_exchange_malloc(align: u32, size: uintptr_t) -> *c_char {
-    let total_size = get_box_size(size as uint, align as uint);
-    malloc_raw(total_size as uint) as *c_char
-}
-
 // FIXME: #7496
 #[cfg(not(test))]
 #[lang="closure_exchange_malloc"]
-- 
cgit 1.4.1-3-g733a5