X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ed9fda3a0e2edcf4ed546e0eb9ac128865538276..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/src/parse.sml

diff --git a/src/parse.sml b/src/parse.sml
index d8dc9b9..90cf07c 100644
--- a/src/parse.sml
+++ b/src/parse.sml
@@ -29,7 +29,7 @@ structure Parse :> PARSE =
 
   (* 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