always turn off PA20 at boot

diff --git a/watch-library/hardware/watch/watch_private.c b/watch-library/hardware/watch/watch_private.c
index 5ec1de216a681cc86cfedd587c18536067e86d0e..e4fa4b9a1e09902204174f140928a0524b4b680d 100644 (file)
--- a/watch-library/hardware/watch/watch_private.c
+++ b/watch-library/hardware/watch/watch_private.c
@@ -28,7 +28,7 @@
 
 void _watch_init(void) {
     // disable the LED pin (it may have been enabled by the bootloader)
-    watch_disable_digital_output(RED);
+    watch_disable_digital_output(GPIO(GPIO_PORTA, 20));
 
     // RAM should be back-biased in STANDBY
     PM->STDBYCFG.bit.BBIASHS = 1;