fork
Diff: rtos/RtosTimer.cpp
- Revision:
- 40:bd07334df5b1
- Parent:
- 36:512640f00564
- Child:
- 119:19af2d39a542
diff -r 34e80e862021 -r bd07334df5b1 rtos/RtosTimer.cpp --- a/rtos/RtosTimer.cpp Thu Jul 31 15:00:07 2014 +0100 +++ b/rtos/RtosTimer.cpp Fri Aug 15 16:30:22 2014 +0100 @@ -24,7 +24,7 @@ #include <string.h> #include "cmsis_os.h" -#include "error.h" +#include "mbed_error.h" namespace rtos {