diff --git a/libraries/mbed/common/board.c b/libraries/mbed/common/board.c
index 3f6ca4aef6..ab24b09ec0 100644
--- a/libraries/mbed/common/board.c
+++ b/libraries/mbed/common/board.c
@@ -24,8 +24,6 @@ WEAK void mbed_die(void) {
 #endif
 #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);