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/access.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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

diff --git a/tests/cfail/access.rs b/tests/cfail/access.rs
index db77602..7524b06 100644
--- a/tests/cfail/access.rs
+++ b/tests/cfail/access.rs
@@ -9,9 +9,7 @@ static R4: Resource<i32, C5> = Resource::new(0);
 static R5: Resource<i32, C1> = Resource::new(0);
 static R6: Resource<i32, C2> = Resource::new(0);
 
-fn j1(prio: P2) {
-    let ceil = prio.as_ceiling();
-
+fn j1(prio: P2, ceil: C2) {
     ceil.raise(
         &R1, |ceil| {
             // NOTE SC = System Ceiling, P = task Priority
-- 
cgit v1.2.3