diff --git a/cores/arduino/WInterrupts.cpp b/cores/arduino/WInterrupts.cpp
index f82cc11d..77c8452a 100644
--- a/cores/arduino/WInterrupts.cpp
+++ b/cores/arduino/WInterrupts.cpp
@@ -44,7 +44,7 @@ void attachInterrupt(pin_size_t pin, voidFuncPtr callback, PinStatus mode)
     gpio_interrupt_enable(GD_PORT_GET(pinname), GD_PIN_GET(pinname), callback, it_mode);
 }
 
-void detachInterrupt(uint32_t pin)
+void detachInterrupt(pin_size_t pin)
 {
     PinName pinname = DIGITAL_TO_PINNAME(pin);
     gpio_interrupt_disable(GD_PIN_GET(pinname));