From aa0347e36c5ab67fa3153cb91d32a2aeea840223 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 25 Apr 2017 21:55:11 -0500
Subject: [PATCH] fix cfail tests

---
 tests/cfail/ceiling.rs | 2 +-
 tests/cfail/race-1.rs  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs
index cf3b70921c..e29694b5a9 100644
--- a/tests/cfail/ceiling.rs
+++ b/tests/cfail/ceiling.rs
@@ -19,7 +19,7 @@ fn j1(prio: P2) {
 }
 
 fn j2(prio: P0) {
-    let c16 = rtfm::critical(
+    let c16 = rtfm::atomic(
         |c16| {
             // forbidden: ceiling token can't outlive the critical section
             c16 //~ error
diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs
index a4d9b68931..9d08f42b05 100644
--- a/tests/cfail/race-1.rs
+++ b/tests/cfail/race-1.rs
@@ -18,7 +18,7 @@ fn j1(prio: P1) {
 }
 
 fn j2(_task: Task, prio: P3) {
-    rtfm::critical(
+    rtfm::atomic(
         |ceil| {
             // OK  C2 (R1's ceiling) <= C16 (system ceiling)
             // BAD C2 (R1's ceiling) <  P3 (j2's priority)