3 @@ -214,7 +214,7 @@ void pretty_print_signals(void){
4 while(++i <= number_of_signals){
6 n = printf("%2d %s", i, signal_number_to_name(i));
7 - if(i%7) printf(" \0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0" + n);
8 + if(i%7) printf("%s", " \0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0" + n);
11 if((i-1)%7) printf("\n");