- XBT_PUBLIC void gras_timer_cancel_delay(double interval, void_f_void_t action);
- XBT_PUBLIC void gras_timer_cancel_repeat(double interval, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_cancel_delay(double interval, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_cancel_repeat(double interval, void_f_void_t action);