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/Thread.cpp

Revision:
35:b8555a5966f6
Parent:
25:420a92812cd1
Child:
36:512640f00564
--- a/rtos/Thread.cpp	Fri Jun 27 16:30:23 2014 +0100
+++ b/rtos/Thread.cpp	Tue Jul 08 11:15:19 2014 +0100
@@ -21,7 +21,7 @@
  */
 #include "Thread.h"
 
-#include "error.h"
+#include "mbed_error.h"
 
 namespace rtos {