From c631049efcadca8b07940c794cce2be58fa48444 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sat, 3 Nov 2018 17:02:41 +0100
Subject: v0.4.0

closes #32
closes #33
---
 tests/cfail/idle.rs | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 tests/cfail/idle.rs

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

diff --git a/tests/cfail/idle.rs b/tests/cfail/idle.rs
deleted file mode 100644
index ef20e1a..0000000
--- a/tests/cfail/idle.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-#![deny(unsafe_code)]
-#![deny(warnings)]
-#![no_std]
-
-extern crate cortex_m_rtfm as rtfm;
-extern crate stm32f103xx;
-
-use rtfm::app;
-
-app! { //~ error mismatched types
-    device: stm32f103xx,
-}
-
-fn init(_p: init::Peripherals) {}
-
-// ERROR `idle` must be a diverging function
-fn idle() {}
-- 
cgit v1.2.3