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 bdb1c60b6d6f8db7acedcbb32d2aeb0d1ffe3f49..e2a5eef0d99e18637ce5ae4e12d479826be21d38 100644 (file)
--- a/src/librustrt/local.rs
+++ b/src/librustrt/local.rs
@@ -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();
     }
 
 }