Dave M
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
Diff: rtos/Queue.h
- Revision:
- 40:bd07334df5b1
- Parent:
- 36:512640f00564
diff -r 34e80e862021 -r bd07334df5b1 rtos/Queue.h
--- a/rtos/Queue.h Thu Jul 31 15:00:07 2014 +0100
+++ b/rtos/Queue.h Fri Aug 15 16:30:22 2014 +0100
@@ -26,7 +26,7 @@
#include <string.h>
#include "cmsis_os.h"
-#include "error.h"
+#include "mbed_error.h"
namespace rtos {