diff --git a/shared/runtime/softtimer.c b/shared/runtime/softtimer.c
index c9c59cab0e..8bc9621b3d 100644
--- a/shared/runtime/softtimer.c
+++ b/shared/runtime/softtimer.c
@@ -28,7 +28,6 @@
 #include "py/gc.h"
 #include "py/mphal.h"
 #include "py/runtime.h"
-#include "irq.h"
 #include "softtimer.h"
 
 #define TICKS_PERIOD 0x80000000