From fc4cb7d472dad1ea0fa137bb116bd907efc19601 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 8 May 2017 12:05:42 -0500
Subject: replace the ceiling token with a preemption threshold token

---
 tests/cfail/tasks-wrong-init.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/tests/cfail/tasks-wrong-init.rs b/tests/cfail/tasks-wrong-init.rs
index e9ebc61..d12b427 100644
--- a/tests/cfail/tasks-wrong-init.rs
+++ b/tests/cfail/tasks-wrong-init.rs
@@ -5,7 +5,7 @@
 #[macro_use]
 extern crate cortex_m_rtfm as rtfm;
 
-use rtfm::{C0, C1, C16, P0, P1};
+use rtfm::{P0, P1, T0, T1, TMax};
 use device::interrupt::Exti0;
 
 tasks!(device, {
@@ -16,14 +16,14 @@ tasks!(device, {
     },
 });
 
-// WRONG. `init` must have signature `fn(P0, &C16)`
-fn init(_: P0, _: &C1) {}
+// WRONG. `init` must have signature `fn(P0, &TMax)`
+fn init(_: P0, _: &T1) {}
 
-fn idle(_: P0, _: C0) -> ! {
+fn idle(_: P0, _: T0) -> ! {
     loop {}
 }
 
-fn j1(_task: Exti0, _prio: P1, _ceil: C1) {}
+fn j1(_task: Exti0, _prio: P1, _thr: T1) {}
 
 // fake device crate
 extern crate core;
-- 
cgit v1.2.3