Forked.

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
--- a/platform/mbed_mem_trace.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_mem_trace.c	Tue Mar 14 16:40:56 2017 +0000
@@ -18,7 +18,7 @@
 #include <stdarg.h>
 #include <stdio.h>
 #include "platform/mbed_mem_trace.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 /******************************************************************************
  * Internal variables, functions and helpers