Lancaster University's (short term!) clone of mbed-src for micro:bit. This is a copy of the github branch https://github.com/lancaster-university/mbed-classic

Fork of mbed-src by mbed official

Revision:
285:31249416b6f9
Parent:
251:de9a1e4ffd79
Child:
395:bfce16e86ea4
diff -r 859ffaa7c331 -r 31249416b6f9 common/mbed_interface.c
--- a/common/mbed_interface.c	Wed Aug 13 10:30:07 2014 +0100
+++ b/common/mbed_interface.c	Fri Aug 15 16:30: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