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:
284:859ffaa7c331
Child:
431:255afbe6270c
diff -r 859ffaa7c331 -r 31249416b6f9 common/retarget.cpp
--- a/common/retarget.cpp	Wed Aug 13 10:30:07 2014 +0100
+++ b/common/retarget.cpp	Fri Aug 15 16:30:08 2014 +0100
@@ -392,7 +392,7 @@
 
 #if defined(TOOLCHAIN_GCC)
 /* prevents the exception handling name demangling code getting pulled in */
-#include "error.h"
+#include "mbed_error.h"
 namespace __gnu_cxx {
     void __verbose_terminate_handler() {
         error("Exception");