in smt2parser/src/lexer.rs [146:157]
fn consume_byte(&mut self) {
if let Some(c) = self.peek_byte() {
if *c == b'\n' {
self.current_line += 1;
self.current_column = 0;
} else {
self.current_column += 1;
}
self.current_offset += 1;
self.reader.consume(1)
}
}