X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6ae327f88a6be8efd02cfe4b713444f9f3ac2672..c9731b9b3ee43c4c8d82c31009a5870a01d3acfa:/src/parse.sml 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