Edoardo De Marchi / mbed-rtos

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

Fork of mbed-rtos by mbed official

Diff: rtos/Queue.h

Revision:
36:512640f00564
Parent:
35:b8555a5966f6
--- a/rtos/Queue.h	Tue Jul 08 11:15:19 2014 +0100
+++ b/rtos/Queue.h	Tue Jul 08 14:15:17 2014 +0100
@@ -26,7 +26,7 @@
 #include <string.h>
 
 #include "cmsis_os.h"
-#include "mbed_error.h"
+#include "error.h"
 
 namespace rtos {