fork
Diff: rtos/RtosTimer.h
- Revision:
- 124:cfd3aecebf35
- Parent:
- 123:58563e6cba1e
--- a/rtos/RtosTimer.h Mon Nov 14 17:14:42 2016 -0600 +++ b/rtos/RtosTimer.h Thu Jan 07 18:20:31 2021 +0000 @@ -25,7 +25,7 @@ #include <stdint.h> #include "cmsis_os.h" #include "platform/Callback.h" -#include "platform/toolchain.h" +#include "platform/mbed_toolchain.h" namespace rtos { /** \addtogroup rtos */