mbed library sources. Supersedes mbed-src.
Fork of mbed-dev by
Diff: platform/mbed_wait_api_rtos.cpp
- Revision:
- 160:d5399cc887bb
- Parent:
- 151:5eaa88a5bcc7
--- a/platform/mbed_wait_api_rtos.cpp Tue Feb 28 17:13:35 2017 +0000 +++ b/platform/mbed_wait_api_rtos.cpp Tue Mar 14 16:40:56 2017 +0000 @@ -18,10 +18,10 @@ // if the RTOS is present. #ifdef MBED_CONF_RTOS_PRESENT -#include "platform/wait_api.h" +#include "platform/mbed_wait_api.h" #include "hal/us_ticker_api.h" #include "rtos/rtos.h" -#include "platform/critical.h" +#include "platform/mbed_critical.h" void wait(float s) { wait_us(s * 1000000.0f);