From 05feb7b018817f88123900c9196e830d51608a5f Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 23 Jul 2017 20:51:52 -0500
Subject: [PATCH] update examples

---
 examples/full-syntax.rs |  7 +------
 examples/modules.rs     | 11 +----------
 2 files changed, 2 insertions(+), 16 deletions(-)

diff --git a/examples/full-syntax.rs b/examples/full-syntax.rs
index d14667813a..7ac42e399a 100644
--- a/examples/full-syntax.rs
+++ b/examples/full-syntax.rs
@@ -25,9 +25,6 @@ app! {
     },
 
     idle: {
-        locals: {
-            static COUNTER: u32 = 0;
-        },
         path: idle_, // this is a path to the "idle" function
         resources: [OWNED, SHARED],
     },
@@ -48,10 +45,8 @@ app! {
 
 fn init_(_p: init::Peripherals, _r: init::Resources) {}
 
-fn idle_(t: &mut Threshold, l: &mut idle::Locals, mut r: idle::Resources) -> ! {
+fn idle_(t: &mut Threshold, mut r: idle::Resources) -> ! {
     loop {
-        *l.COUNTER += 1;
-
         **r.OWNED != **r.OWNED;
 
         if **r.OWNED {
diff --git a/examples/modules.rs b/examples/modules.rs
index 5b23d0e006..f938461278 100644
--- a/examples/modules.rs
+++ b/examples/modules.rs
@@ -25,9 +25,6 @@ app! {
     },
 
     idle: {
-        locals: {
-            static COUNTER: u32 = 0;
-        },
         path: main::idle,
         resources: [OWNED, SHARED],
     },
@@ -51,14 +48,8 @@ mod main {
 
     pub fn init(_p: ::init::Peripherals, _r: ::init::Resources) {}
 
-    pub fn idle(
-        t: &mut Threshold,
-        l: &mut ::idle::Locals,
-        mut r: ::idle::Resources,
-    ) -> ! {
+    pub fn idle(t: &mut Threshold, mut r: ::idle::Resources) -> ! {
         loop {
-            *l.COUNTER += 1;
-
             **r.OWNED != **r.OWNED;
 
             if **r.OWNED {