VZTECH / mbed-rtos

configuracoes personalizadas - aumento do nro de mutex disponiveis para uso

Dependents:   main_src

Fork of mbed-rtos by mbed official

Diff: rtos/RtosTimer.cpp

Revision:
35:b8555a5966f6
Parent:
31:015df9e602b6
Child:
36:512640f00564
--- a/rtos/RtosTimer.cpp	Fri Jun 27 16:30:23 2014 +0100
+++ b/rtos/RtosTimer.cpp	Tue Jul 08 11:15:19 2014 +0100
@@ -24,7 +24,7 @@
 #include <string.h>
 
 #include "cmsis_os.h"
-#include "error.h"
+#include "mbed_error.h"
 
 namespace rtos {