diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:41:03 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:41:03 -0500 |
| commit | 1c82f1b1190cb40a3502d5b74a8c98775a788850 (patch) | |
| tree | 4157ac304a4b372e7e4a79daaecf06e7a5c78664 /tests/cfail/ceiling.rs | |
| parent | 3e165f2a42b8f3c66e3e77742a54feb875ec4bd6 (diff) | |
raise_to -> Ceiling.raise
Diffstat (limited to 'tests/cfail/ceiling.rs')
| -rw-r--r-- | tests/cfail/ceiling.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs index bd6e296..8bbd1f7 100644 --- a/tests/cfail/ceiling.rs +++ b/tests/cfail/ceiling.rs @@ -7,7 +7,7 @@ static R1: Resource<(), C3> = Resource::new(()); fn j1(prio: P2) { let ceil = prio.as_ceiling(); - let c3 = rtfm::raise_to(ceil, &R1, |ceil| { + let c3 = ceil.raise(&R1, |ceil| { // forbidden: ceiling token can't outlive critical section ceil //~ error }); |