From 97a7e38db7eb0643a6334aba30077622d09e5c85 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 18 Jul 2017 20:03:22 -0500
Subject: tasks / idle have exclusive access to Threshold, but do not own the
 token

---
 macros/src/trans.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'macros')

diff --git a/macros/src/trans.rs b/macros/src/trans.rs
index 4d51840..ef224c1 100644
--- a/macros/src/trans.rs
+++ b/macros/src/trans.rs
@@ -50,8 +50,8 @@ fn idle(
             .iter()
             .all(|resource| ownerships[resource].is_owned())
     {
-        tys.push(quote!(#krate::Threshold));
-        exprs.push(quote!(unsafe { #krate::Threshold::new(0) }));
+        tys.push(quote!(&mut #krate::Threshold));
+        exprs.push(quote!(unsafe { &mut #krate::Threshold::new(0) }));
     }
 
     if !app.idle.locals.is_empty() {
-- 
cgit v1.2.3