diff --git a/lib/lpc43xx/vector.c b/lib/lpc43xx/vector.c
index 2d803a16..33eee4ae 100644
--- a/lib/lpc43xx/vector.c
+++ b/lib/lpc43xx/vector.c
@@ -37,53 +37,53 @@ void WEAK sv_call_handler(void);
 void WEAK debug_monitor_handler(void);
 void WEAK pend_sv_handler(void);
 void WEAK sys_tick_handler(void);
-void WEAK dac_irqhandler(void)
-void WEAK m0core_irqhandler(void)
-void WEAK dma_irqhandler(void)
-void WEAK ethernet_irqhandler(void)
-void WEAK sdio_irqhandler(void)
-void WEAK lcd_irqhandler(void)
-void WEAK usb0_irqhandler(void)
-void WEAK usb1_irqhandler(void)
-void WEAK sct_irqhandler(void)
-void WEAK ritimer_irqhandler(void)
-void WEAK timer0_irqhandler(void)
-void WEAK timer1_irqhandler(void)
-void WEAK timer2_irqhandler(void)
-void WEAK timer3_irqhandler(void)
-void WEAK mcpwm_irqhandler(void)
-void WEAK adc0_irqhandler(void)
-void WEAK i2c0_irqhandler(void)
-void WEAK i2c1_irqhandler(void)
-void WEAK spi_irqhandler(void)
-void WEAK adc1_irqhandler(void)
-void WEAK ssp0_irqhandler(void)
-void WEAK ssp1_irqhandler(void)
-void WEAK usart0_irqhandler(void)
-void WEAK uart1_irqhandler(void)
-void WEAK usart2_irqhandler(void)
-void WEAK usart3_irqhandler(void)
-void WEAK i2s0_irqhandler(void)
-void WEAK i2s1_irqhandler(void)
-void WEAK spifi_irqhandler(void)
-void WEAK sgpio_irqhandler(void)
-void WEAK pin_int0_irqhandler(void)
-void WEAK pin_int1_irqhandler(void)
-void WEAK pin_int2_irqhandler(void)
-void WEAK pin_int3_irqhandler(void)
-void WEAK pin_int4_irqhandler(void)
-void WEAK pin_int5_irqhandler(void)
-void WEAK pin_int6_irqhandler(void)
-void WEAK pin_int7_irqhandler(void)
-void WEAK gint0_irqhandler(void)
-void WEAK gint1_irqhandler(void)
-void WEAK eventrouter_irqhandler(void)
-void WEAK c_can1_irqhandler(void)
-void WEAK atimer_irqhandler(void)
-void WEAK rtc_irqhandler(void)
-void WEAK wwdt_irqhandler(void)
-void WEAK c_can0_irqhandler(void)
-void WEAK qei_irqhandler(void)
+void WEAK dac_irqhandler(void);
+void WEAK m0core_irqhandler(void);
+void WEAK dma_irqhandler(void);
+void WEAK ethernet_irqhandler(void);
+void WEAK sdio_irqhandler(void);
+void WEAK lcd_irqhandler(void);
+void WEAK usb0_irqhandler(void);
+void WEAK usb1_irqhandler(void);
+void WEAK sct_irqhandler(void);
+void WEAK ritimer_irqhandler(void);
+void WEAK timer0_irqhandler(void);
+void WEAK timer1_irqhandler(void);
+void WEAK timer2_irqhandler(void);
+void WEAK timer3_irqhandler(void);
+void WEAK mcpwm_irqhandler(void);
+void WEAK adc0_irqhandler(void);
+void WEAK i2c0_irqhandler(void);
+void WEAK i2c1_irqhandler(void);
+void WEAK spi_irqhandler(void);
+void WEAK adc1_irqhandler(void);
+void WEAK ssp0_irqhandler(void);
+void WEAK ssp1_irqhandler(void);
+void WEAK usart0_irqhandler(void);
+void WEAK uart1_irqhandler(void);
+void WEAK usart2_irqhandler(void);
+void WEAK usart3_irqhandler(void);
+void WEAK i2s0_irqhandler(void);
+void WEAK i2s1_irqhandler(void);
+void WEAK spifi_irqhandler(void);
+void WEAK sgpio_irqhandler(void);
+void WEAK pin_int0_irqhandler(void);
+void WEAK pin_int1_irqhandler(void);
+void WEAK pin_int2_irqhandler(void);
+void WEAK pin_int3_irqhandler(void);
+void WEAK pin_int4_irqhandler(void);
+void WEAK pin_int5_irqhandler(void);
+void WEAK pin_int6_irqhandler(void);
+void WEAK pin_int7_irqhandler(void);
+void WEAK gint0_irqhandler(void);
+void WEAK gint1_irqhandler(void);
+void WEAK eventrouter_irqhandler(void);
+void WEAK c_can1_irqhandler(void);
+void WEAK atimer_irqhandler(void);
+void WEAK rtc_irqhandler(void);
+void WEAK wwdt_irqhandler(void);
+void WEAK c_can0_irqhandler(void);
+void WEAK qei_irqhandler(void);
 
 __attribute__ ((section(".vectors")))
 void (*const vector_table[]) (void) = {