Maintain legacy RTOS behavior before mbed-5

Fork of mbed-rtos by mbed official

Revision:
123:58563e6cba1e
Parent:
107:bdd541595fc5
diff -r b744dfee1cf2 -r 58563e6cba1e rtos/rtos_idle.c
--- a/rtos/rtos_idle.c	Wed Nov 09 12:22:14 2016 -0600
+++ b/rtos/rtos_idle.c	Mon Nov 14 17:14:42 2016 -0600
@@ -20,7 +20,7 @@
  * SOFTWARE.
  */
 
-#include "rtos_idle.h"
+#include "rtos/rtos_idle.h"
 
 static void default_idle_hook(void)
 {