fork

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 {