environment set_line_cmd(parser & p) { if (!p.curr_is_numeral()) throw parser_error("invalid #setline command, numeral expected", p.pos()); unsigned r = p.get_small_nat(); p.set_line(r); p.next(); return p.env(); }