mbed library sources

Fork of mbed-src by mbed official

Revision:
251:de9a1e4ffd79
Parent:
250:a49055e7a707
Child:
285:31249416b6f9
--- a/common/error.c	Tue Jul 08 11:15:08 2014 +0100
+++ b/common/error.c	Tue Jul 08 14:15:07 2014 +0100
@@ -17,7 +17,7 @@
 #include <stdarg.h>
 #include "device.h"
 #include "toolchain.h"
-#include "mbed_error.h"
+#include "error.h"
 #if DEVICE_STDIO_MESSAGES
 #include <stdio.h>
 #endif