mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: drivers/Timer.h

Revision:
152:235179ab3f27
Parent:
146:22da6e220af6
Child:
153:b484a57bc302
--- a/drivers/Timer.h	Fri Sep 15 14:46:57 2017 +0100
+++ b/drivers/Timer.h	Mon Oct 02 15:20:36 2017 +0100
@@ -19,6 +19,7 @@
 #include "platform/platform.h"
 #include "hal/ticker_api.h"
 #include "platform/NonCopyable.h"
+#include "platform/mbed_sleep.h"
 
 namespace mbed {
 /** \addtogroup drivers */