mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Diff: platform/mbed_rtc_time.cpp

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
167:e84263d55307
--- a/platform/mbed_rtc_time.cpp	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_rtc_time.cpp	Tue Mar 14 16:40:56 2017 +0000
@@ -16,8 +16,8 @@
 #include "hal/rtc_api.h"
 
 #include <time.h>
-#include "platform/critical.h"
-#include "platform/rtc_time.h"
+#include "platform/mbed_critical.h"
+#include "platform/mbed_rtc_time.h"
 #include "hal/us_ticker_api.h"
 #include "platform/SingletonPtr.h"
 #include "platform/PlatformMutex.h"