diff --git a/babblesim/core/src/cmsis.c b/babblesim/core/src/cmsis.c
index 9beb32909..1ac6b2414 100644
--- a/babblesim/core/src/cmsis.c
+++ b/babblesim/core/src/cmsis.c
@@ -9,7 +9,6 @@
 #include <stdint.h>
 #include "irq_ctrl.h"
 
-#include "irq_sources.h"
 #include <nrfx.h>
 #include "cmsis.h"
 #include "os/sim.h"
diff --git a/babblesim/core/src/irq_handler.c b/babblesim/core/src/irq_handler.c
index f72aaf241..d29797500 100644
--- a/babblesim/core/src/irq_handler.c
+++ b/babblesim/core/src/irq_handler.c
@@ -8,7 +8,6 @@
 
 #include <stdint.h>
 #include "irq_ctrl.h"
-#include "irq_sources.h"
 #include "os/sim.h"
 
 static int currently_running_irq = -1;