let
line_number () =
string_of_int !
Error_handler
.lineCounter