Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Fork of mbed-rtos by mbed official

Revision:
36:512640f00564
Parent:
35:b8555a5966f6
Child:
40:bd07334df5b1
diff -r b8555a5966f6 -r 512640f00564 rtos/Mutex.cpp
--- a/rtos/Mutex.cpp	Tue Jul 08 11:15:19 2014 +0100
+++ b/rtos/Mutex.cpp	Tue Jul 08 14:15:17 2014 +0100
@@ -22,7 +22,7 @@
 #include "Mutex.h"
 
 #include <string.h>
-#include "mbed_error.h"
+#include "error.h"
 
 namespace rtos {