auto merge of #15999 : Kimundi/rust/fix_folder, r=nikomatsakis

[rust.git] / src / librustrt / local.rs

diff --git a/src/librustrt/local.rs b/src/librustrt/local.rs
index 7fe9dbc6d4ff554d81cbe5a3e375d40ed988de38..e2a5eef0d99e18637ce5ae4e12d479826be21d38 100644 (file)
--- a/src/librustrt/local.rs
+++ b/src/librustrt/local.rs
@@ -10,7 +10,7 @@
 
 use core::prelude::*;
 
-use alloc::owned::Box;
+use alloc::boxed::Box;
 use local_ptr;
 use task::Task;
 
@@ -125,8 +125,8 @@ fn try_take() {
         }).join();
     }
 
-    fn cleanup_task(mut t: Box<Task>) {
-        t.destroyed = true;
+    fn cleanup_task(t: Box<Task>) {
+        t.drop();
     }
 
 }