diff --git a/ports/raspberrypi/common-hal/board/__init__.c b/ports/raspberrypi/common-hal/board/__init__.c
index 532bb1c666..3c7f30df22 100644
--- a/ports/raspberrypi/common-hal/board/__init__.c
+++ b/ports/raspberrypi/common-hal/board/__init__.c
@@ -29,7 +29,6 @@
 #include "py/runtime.h"
 #include "py/mphal.h"
 #include "common-hal/microcontroller/Pin.h"
-#include "src/rp2_common/hardware_pio/include/hardware/pio.h"
 
 // Pins aren't actually defined here. They are in the board specific directory
 // such as boards/arduino_zero/pins.c.