1 files changed, 0 insertions, 4 deletions

diff --git a/litmus/sched_mc2.c b/litmus/sched_mc2.c
index a2abda848cbf..5c88a36aacec 100644
--- a/litmus/sched_mc2.c
+++ b/litmus/sched_mc2.c
@@ -27,10 +27,6 @@
 #include <litmus/reservation.h>
 #include <litmus/polling_reservations.h>
 
-#ifdef CONFIG_PGMRT_SUPPORT
-#include <litmus/pgm.h>
-#endif
-
 //#define TRACE(fmt, args...) do {} while (false)
 //#define TRACE_TASK(fmt, args...) do {} while (false)