Maxim Ibragimov / mbed-dev

mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Diff: drivers/Timer.h

Revision:
174:b96e65c34a4d
Parent:
168:9672193075cf
Child:
175:af195413fb11
--- a/drivers/Timer.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/drivers/Timer.h	Mon Oct 02 15:33:19 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 */