let parserError() =
print_string "Line "; print_int !lineCounter;
print_string ":Parser.Err("; print_int !errorNumber; print_string ")";
(match !errorNumber
with
| 1 -> print_endline ": missing State Identifier"
| 2 -> print_endline ": missing DOT Symbol"
| 3 -> print_endline ": missing Inits Section keyword"
| 4 -> print_endline ": missing Init State keyword"
| 5 -> print_endline ": missing Identifier"
| 6 -> print_endline ": missing Symbol DEF (:=)"
| 7 -> print_endline ": missing Step keyword"
| 8 -> print_endline ": missing left parenteses"
| 9 -> print_endline ": missing right parenteses"
| 10 -> print_endline ": missing Variable"
| 11 -> print_endline ": missing Symbol REACTION (=>)"
| 12 -> print_endline ": missing Section Rules keyword"
| 13 -> print_endline ": missing Term"
| 14 -> print_endline ": missing Type"
| 15 -> print_endline ": missing Comma"
| _ -> print_endline ": unknown parsing error");
flush stdout;
exit (-1)