diff --git a/cores/arduino/WInterrupts.c b/cores/arduino/WInterrupts.c
index 472ab82..9c4ad1a 100644
--- a/cores/arduino/WInterrupts.c
+++ b/cores/arduino/WInterrupts.c
@@ -114,8 +114,7 @@ void enableInterrupt(uint8_t interruptNum)
 }
 
 // common gpio interrupt handler 
-void gpio_interrupt_handler(void) __attribute__((noinline, section(".ram_text"), optimize("O3")));
-void gpio_interrupt_handler(void)
+void __attribute__((noinline, section(".ram_text"), optimize("O3"))) gpio_interrupt_handler(void)
 {
   // go through all the interrupts and call the handler for the triggered line
   for (uint8_t i = 0; i < EXTERNAL_NUM_INTERRUPTS; i++)