4180 LabTeam - Spring '18 / mbed-rtos

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependents:   Lab2_Part4

Fork of mbed-rtos by mbed official

Diff: rtos/RtosTimer.h

Revision:
126:ba077baf0697
Parent:
123:58563e6cba1e
diff -r 5713cbbdb706 -r ba077baf0697 rtos/RtosTimer.h
--- a/rtos/RtosTimer.h	Tue Jul 04 13:32:20 2017 +0100
+++ b/rtos/RtosTimer.h	Mon Feb 12 21:17:43 2018 +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 */