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:
251:de9a1e4ffd79
Parent:
250:a49055e7a707
Child:
269:0e58554f11d5
diff -r a49055e7a707 -r de9a1e4ffd79 common/retarget.cpp
--- a/common/retarget.cpp	Tue Jul 08 11:15:08 2014 +0100
+++ b/common/retarget.cpp	Tue Jul 08 14:15:07 2014 +0100
@@ -383,7 +383,7 @@
 
 #if defined(TOOLCHAIN_GCC)
 /* prevents the exception handling name demangling code getting pulled in */
-#include "mbed_error.h"
+#include "error.h"
 namespace __gnu_cxx {
     void __verbose_terminate_handler() {
         error("Exception");