Peter Drescher
Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard. Patched to work with NUCLEO L152 board
Fork of
mbed-rtos
by 
mbed official
Diff: rtos/Mutex.cpp
- Revision:
- 36:512640f00564
- Parent:
- 35:b8555a5966f6
- Child:
- 40:bd07334df5b1
--- 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 {