diff --git a/targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PinNames.h b/targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PinNames.h
index 1740bfc330..4b75ed608a 100644
--- a/targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PinNames.h
+++ b/targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PinNames.h
@@ -229,6 +229,7 @@ typedef enum {
     LED4        = LED1,
     LED_RED     = LED2,
     USER_BUTTON = PA_0,
+    BUTTON1     = USER_BUTTON,
     SERIAL_TX   = PG_14,
     SERIAL_RX   = PG_9,
     USBTX       = SERIAL_TX,