altos: Fix a bunch of time variables to be AO_TICK_TYPE

[fw/altos] / src / kernel / ao_notask.c

diff --git a/src/kernel/ao_notask.c b/src/kernel/ao_notask.c
index a5bdc8a7c65e5d81dbc6e0ad8b7bcf9ff54261d8..e973c7ae1723e8fa8811543e092590694622bf3f 100644 (file)
--- a/src/kernel/ao_notask.c
+++ b/src/kernel/ao_notask.c
@@ -41,7 +41,7 @@ ao_sleep(void *wchan)
 
 #if HAS_AO_DELAY
 void
-ao_delay(uint16_t ticks)
+ao_delay(AO_TICK_TYPE ticks)
 {
        AO_TICK_TYPE    target;