Pedro Correia / mbed-dev

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.

Fork of mbed-dev by mbed official

Diff: platform/CriticalSectionLock.h

Revision:
181:57724642e740
Parent:
178:79309dc6340a
Child:
184:08ed48f1de7f
--- a/platform/CriticalSectionLock.h	Wed Jan 17 15:23:54 2018 +0000
+++ b/platform/CriticalSectionLock.h	Fri Feb 16 16:09:33 2018 +0000
@@ -19,6 +19,7 @@
 #define MBED_CRITICALSECTIONLOCK_H
 
 #include "platform/mbed_critical.h"
+#include "platform/mbed_toolchain.h"
 
 namespace mbed {