mbed library sources
Diff: common/retarget.cpp
- Revision:
- 285:31249416b6f9
- Parent:
- 284:859ffaa7c331
- Child:
- 432: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");