mbed library sources
Dependents: frdm_kl05z_gpio_test
Fork of mbed-src by
Diff: common/retarget.cpp
- Revision:
- 250:a49055e7a707
- Parent:
- 221:8276e3a4886f
- Child:
- 251:de9a1e4ffd79
diff -r 5706c6e2db45 -r a49055e7a707 common/retarget.cpp --- a/common/retarget.cpp Wed Jul 02 13:45:08 2014 +0100 +++ b/common/retarget.cpp Tue Jul 08 11:15:08 2014 +0100 @@ -383,7 +383,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");