>>20
あのコードだが、
nt ch, last_ch;
while ((ch = getchar()) != EOF) {
 if (ch != ' ' || last_ch != ' ')
  putchar(ch);
 last_ch = ch;
}
で良いのでは?