diff --git a/rtos/TARGET_CORTEX/mbed_rtx_idle.cpp b/rtos/TARGET_CORTEX/mbed_rtx_idle.cpp
index 32d5ead975..bb2be1c421 100644
--- a/rtos/TARGET_CORTEX/mbed_rtx_idle.cpp
+++ b/rtos/TARGET_CORTEX/mbed_rtx_idle.cpp
@@ -24,7 +24,6 @@
 #include "platform/mbed_sleep.h"
 #include "TimerEvent.h"
 #include "lp_ticker_api.h"
-#include "rtx_core_cm.h"
 #include "mbed_critical.h"
 #include "mbed_assert.h"
 #include <new>