Method eat_white_space

src/IO/IOUtils.cpp:35–41

}

void IOUtils::eat_white_space(std::ifstream& fin) {
    char next = fin.peek();
    while (next == '\n' || next == ' ' || next == '\t' || next == '\r') {
        fin.get();
        next = fin.peek();
    }
}