(* The main parsing routine *)
fun parse filename =
- let val _ = (ErrorMsg.reset(); ErrorMsg.fileName := filename)
+ let val _ = (ErrorMsg.fileName := filename)
val file = TextIO.openIn filename
fun get _ = TextIO.input file
fun parseerror(s,p1,p2) = ErrorMsg.error (SOME (p1,p2)) s