From 4992db78777c408a545a787e43450d4947144550 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Fri, 21 Apr 2017 00:24:54 -0500
Subject: more docs, remove Ceiling / Priority / Level traits

---
 tests/cfail/tasks-wrong-priority.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'tests/cfail/tasks-wrong-priority.rs')

diff --git a/tests/cfail/tasks-wrong-priority.rs b/tests/cfail/tasks-wrong-priority.rs
index 741a96a..08deef3 100644
--- a/tests/cfail/tasks-wrong-priority.rs
+++ b/tests/cfail/tasks-wrong-priority.rs
@@ -5,7 +5,7 @@
 extern crate core;
 extern crate cortex_m;
 #[macro_use]
-extern crate cortex_m_srp;
+extern crate cortex_m_rtfm as rtfm;
 
 use cortex_m_srp::{C16, P0, P1, P2};
 use device::interrupt::Exti1;
@@ -14,9 +14,11 @@ tasks!(device, {
     j1: (Exti0, P1),
 });
 
-fn init(_: C16) {}
+fn init(_: P0, _: &C16) {}
 
-fn idle(_: P0) {}
+fn idle(_: P0) -> ! {
+    loop {}
+}
 
 // Wrong priority token. Declared P1, got P2
 fn j1(_task: Exti1, _prio: P1) {}
-- 
cgit v1.2.3