Forked.

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
152:9a67f0b066fc
Child:
167:e84263d55307
--- a/platform/mbed_alloc_wrappers.cpp	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_alloc_wrappers.cpp	Tue Mar 14 16:40:56 2017 +0000
@@ -16,7 +16,7 @@
 
 #include "platform/mbed_mem_trace.h"
 #include "platform/mbed_stats.h"
-#include "platform/toolchain.h"
+#include "platform/mbed_toolchain.h"
 #include "platform/SingletonPtr.h"
 #include "platform/PlatformMutex.h"
 #include <stddef.h>