X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6ae327f88a6be8efd02cfe4b713444f9f3ac2672..8cbb96323335d1a2b42a9daac94a9d538ab93536:/src/parse.sml?ds=sidebyside diff --git a/src/parse.sml b/src/parse.sml index 90cf07c..00fefca 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.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