mbed library sources(for async_print)

Dependents:   AsyncPrint

Fork of mbed-src by mbed official

Revision:
285:31249416b6f9
Parent:
284:859ffaa7c331
Child:
431:255afbe6270c
--- 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");