remove ao_delay_until from ao.h

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index 9bbd561eedf854467057c30ef32aade8668b9af9..be663775e91fab86eb119d7690a67fb961c7e1ff 100644 (file)
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -126,9 +126,6 @@ ao_time_ns(void);
 void
 ao_delay(AO_TICK_TYPE ticks);
 
-void
-ao_delay_until(AO_TICK_TYPE target);
-
 /* Set the ADC interval */
 void
 ao_timer_set_adc_interval(uint8_t interval);