altos: Remove 8051 address space specifiers

[fw/altos] / src / stm / ao_led.c

diff --git a/src/stm/ao_led.c b/src/stm/ao_led.c
index a7033dbba5eb02136065d87f9aef8f7e5c2c11d6..bd83f4e427cdb0c00d2f120799f8cc350501d201 100644 (file)
--- a/src/stm/ao_led.c
+++ b/src/stm/ao_led.c
@@ -153,7 +153,7 @@ ao_led_toggle(AO_LED_TYPE colors)
 }
 
 void
-ao_led_for(AO_LED_TYPE colors, AO_LED_TYPE ticks) __reentrant
+ao_led_for(AO_LED_TYPE colors, AO_LED_TYPE ticks) 
 {
        ao_led_on(colors);
        ao_delay(ticks);