codice:
void skip_line(FILE * stream)
{
    while(getc(stream)!='\n')
        ;
}
Non particolarmente efficiente, ma dovrebbe risolvere il tuo problema.