mbed library sources

Fork of mbed-src by mbed official

Revision:
250:a49055e7a707
Parent:
228:85a676113daa
Child:
251:de9a1e4ffd79
--- a/common/mbed_interface.c	Wed Jul 02 13:45:08 2014 +0100
+++ b/common/mbed_interface.c	Tue Jul 08 11:15:08 2014 +0100
@@ -19,7 +19,7 @@
 #include "gpio_api.h"
 #include "wait_api.h"
 #include "semihost_api.h"
-#include "error.h"
+#include "mbed_error.h"
 #include "toolchain.h"
 
 #if DEVICE_SEMIHOST