Merge pull request #106 from jorisa/master

Fix bug in gpio_set not setting reserved pins correctly
ARMmbed · Nov 9, 2013 · cbc4729 · cbc4729
2 parents 15422b3 + 76ffc49
commit cbc4729
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/mbed/targets/hal/TARGET_NXP/TARGET_LPC11XX_11CXX/gpio_api.c b/libraries/mbed/targets/hal/TARGET_NXP/TARGET_LPC11XX_11CXX/gpio_api.c
@@ -24,7 +24,7 @@ uint32_t gpio_set(PinName pin) {
     unsigned i;
     int f = 0;
 
-    for (i = 0; i < sizeof(reserved_pins) / sizeof(int); i ++)
+    for (i = 0; i < sizeof(reserved_pins) / sizeof(PinName); i ++)
         if (pin == reserved_pins[i]) {
             f = 1;
             break;