A S / mbed-rtos

mbed rtos - modified for the final project of the course "Advanced Operating Systems"

Dependents:   aos_mbed

Fork of mbed-rtos by mbed official

Diff: rtx/rt_Time.c

Revision:
11:db1fc233faa9
Parent:
6:350b53afb889
--- a/rtx/rt_Time.c	Wed Apr 24 14:45:21 2013 +0000
+++ b/rtx/rt_Time.c	Tue Apr 30 10:51:19 2013 +0000
@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_Task.h"
 #include "rt_Time.h"