/* This function is useless; it's fine to call g_timer_start() on an already-started timer to reset the start time, so g_timer_reset() serves no purpose.  */
void g_timer_reset(GTimer *timer)
/* This function is useless; it's fine to call g_timer_start() on an already-started timer to reset the start time, so g_timer_reset() serves no purpose.  */
void g_timer_reset(GTimer *timer)
{
  g_return_if_fail (timer != NULL);
  timer->start = g_get_monotonic_time ();
}