*** src/sirius.c 2003-08-04 11:23:36 +0400 --- src/sirius.c.fix 2003-10-18 20:19:25 +0400 *************** void game_over() { *** 1068,1075 **** char message[1024]; int num; - message[0] = 0; - gtk_timeout_remove(time_timer); update_time_and_score((gpointer)(game)); --- 1068,1073 ----