--- main.c.orig 2012-08-04 14:33:05.000000000 +0200 +++ main.c 2012-08-04 14:33:36.000000000 +0200 @@ -629,7 +629,7 @@ int setup_visual (int *argc_p, char **argv, Arg *args); void get_pointer_mapping (void); -void main(int argc, char **argv) +int main(int argc, char **argv) { Widget children[NCHILDREN]; XEvent event;