reset_timer

Prototypevoid reset_timer(void)

reset_timer() resets the time of the current game to 0. This timer is used in get_time_game() and the save game time information. It should be run in start-1.c (or equivalent) to make sure that the player's time starts from 0.