======================================================================*/
int timer_get_left(timer_type* ptimer);
int timer_get_gone(timer_type* ptimer);
-int timer_fwrite(timer_type* ptimer, FILE* fi);
-int timer_fread(timer_type* ptimer, FILE* fi);
+void timer_fwrite(timer_type* ptimer, FILE* fi);
+void timer_fread(timer_type* ptimer, FILE* fi);
#endif /*SUPERTUX_TIMER_H*/