aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/ceiling.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-21 21:38:39 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-21 21:38:39 -0500
commitd0ddc322e378e498743121121c8849260d2f1726 (patch)
tree489b8857b60f3b8808c87816c96fde0b0592ca51 /tests/cfail/ceiling.rs
parent296c88c49cbe72aea9d3726147a9436902b3446b (diff)
rename `borrow` to `access`
Diffstat (limited to 'tests/cfail/ceiling.rs')
-rw-r--r--tests/cfail/ceiling.rs4
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);
}