diff options
Diffstat (limited to 'tests/cfail/ceiling.rs')
| -rw-r--r-- | tests/cfail/ceiling.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs index b13be80..cf3b709 100644 --- a/tests/cfail/ceiling.rs +++ b/tests/cfail/ceiling.rs @@ -15,7 +15,7 @@ fn j1(prio: P2) { ); // Would be bad: lockless access to a resource with ceiling = 3 - let r2 = R1.borrow(&prio, c3); + let r2 = R1.access(&prio, c3); } fn j2(prio: P0) { @@ -27,5 +27,5 @@ fn j2(prio: P0) { ); // Would be bad: lockless access to a resource with ceiling = 16 - let r1 = R1.borrow(&prio, c16); + let r1 = R1.access(&prio, c16); } |