diff --git a/libraries/mbed/common/board.c b/libraries/mbed/common/board.c
index b418c3739f..dfba788675 100644
--- a/libraries/mbed/common/board.c
+++ b/libraries/mbed/common/board.c
@@ -23,7 +23,8 @@ WEAK void mbed_die(void) {
 	__disable_irq();	// dont allow interrupts to disturb the flash pattern
 #if   (DEVICE_ERROR_RED == 1)
     gpio_t led_red; gpio_init_out(&led_red, LED_RED);
-    
+#endif
+
 #elif (DEVICE_ERROR_PATTERN == 1)
     gpio_t led_1; gpio_init_out(&led_1, LED1);
     gpio_t led_2; gpio_init_out(&led_2, LED2);