From e2bde8d21acdfb845554d960536bfb94a7bb1f86 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 27 Apr 2017 19:06:22 -0500
Subject: make the ceiling part of the task signature

remove the P.as_ceiling method
---
 tests/cfail/ceiling.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'tests/cfail/ceiling.rs')

diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs
index e29694b..d1961c9 100644
--- a/tests/cfail/ceiling.rs
+++ b/tests/cfail/ceiling.rs
@@ -1,12 +1,10 @@
 extern crate cortex_m_rtfm as rtfm;
 
-use rtfm::{C3, P0, P2, Resource};
+use rtfm::{C2, C3, P0, P2, Resource};
 
 static R1: Resource<(), C3> = Resource::new(());
 
-fn j1(prio: P2) {
-    let ceil = prio.as_ceiling();
-
+fn j1(prio: P2, ceil: C2) {
     let c3 = ceil.raise(
         &R1, |ceil| {
             // forbidden: ceiling token can't outlive the critical section
-- 
cgit v1.2.3