1 2 3 4 5 6 7 8 9 10 11
--- gnushogi/commondsp.c.old 2010-10-27 11:26:21.000000000 +0200 +++ gnushogi/commondsp.c 2010-10-27 11:27:59.000000000 +0200 @@ -1737,7 +1737,7 @@ s[0] = sx[0] = '\0'; while(!sx[0]) - (void)fgets(sx, 256, stdin); + (void)fgets(sx, 80, stdin); } else {