#include "file_io.hh"
#include <fstream>

void file_goto_next_char(std::ifstream& f, char c) {
  f.ignore(73, c);
}

void file_goto_next_colon(std::ifstream& f) {
  file_goto_next_char(f, ':');
}

void file_goto_next_newline(std::ifstream& f) {
  file_goto_next_char(f, '\n');
}