mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
168:9672193075cf
diff -r e131a1973e81 -r b96e65c34a4d drivers/Timeout.h
--- a/drivers/Timeout.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/drivers/Timeout.h	Mon Oct 02 15:33:19 2017 +0100
@@ -18,6 +18,7 @@
 
 #include "drivers/Ticker.h"
 #include "platform/NonCopyable.h"
+#include "platform/mbed_sleep.h"
 
 namespace mbed {
 /** \addtogroup drivers */