extern unsigned int get_pixel_resource (char*,char*,Display*,Colormap);
extern unsigned int get_minutes_resource (char*,char*);
extern unsigned int get_seconds_resource (char*,char*);
-extern int parse_time (char *string, Bool seconds_default_p, Bool silent_p);
+extern int parse_time (const char *string, Bool seconds_default_p,
+ Bool silent_p);
#endif /* __XSCREENSAVER_RESOURCES_H__ */