#include <istream> void ignore_line ( std::istream& in ) { char ch; while ( in.get ( ch ) && ch != ' ' ) ; }