fork

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 */