diff --git a/platform/source/mbed_board.c b/platform/source/mbed_board.c
index f12c49e7990..679aa84182d 100644
--- a/platform/source/mbed_board.c
+++ b/platform/source/mbed_board.c
@@ -30,7 +30,7 @@ WEAK MBED_NORETURN void mbed_die(void)
 #endif
 
 #ifdef LED1
-	gpio_t led_err;
+    gpio_t led_err;
     gpio_init_out(&led_err, LED1);
 #endif