BIND

[hcoop/domtool2.git] / src / parse.sml

diff --git a/src/parse.sml b/src/parse.sml
index d8dc9b9..90cf07c 100644 (file)
--- a/src/parse.sml
+++ b/src/parse.sml
@@ -29,7 +29,7 @@ structure Parse :> PARSE =
 
   (* The main parsing routine *)
   fun parse filename =
 
   (* 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
        val file = TextIO.openIn filename
        fun get _ = TextIO.input file
        fun parseerror(s,p1,p2) = ErrorMsg.error (SOME (p1,p2)) s