X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2aeb9eece3df3aacb6813db7b151256c2e49a1c2..7f012ffdbae5dbee9642fee030647d558b25c8c4:/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