this seems to be working for me right now in Ubuntu 7.10:
void flush()
{
char nextChar;
while( nextChar != '\n' && nextChar != EOF)
{nextChar = cin.get();}
}
may have to play around with where you call the function...