operational with OS 5

Revision:
8:bb09890333fe
Parent:
1:846c97078558
Child:
22:af9dcf379926
--- a/main.cpp	Fri Aug 05 06:00:05 2016 +0100
+++ b/main.cpp	Sat Aug 06 20:30:05 2016 +0100
@@ -1,5 +1,4 @@
 #include "mbed.h"
-#include "rtos.h"
 
 DigitalOut led1(LED1);