X-Git-Url: http://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2aeb9eece3df3aacb6813db7b151256c2e49a1c2..7f012ffdbae5dbee9642fee030647d558b25c8c4:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 22577ad..705b20a 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -89,6 +89,7 @@ fun check fname =
 	    (b, NONE)
 	else
 	    let
+		val _ = ErrorMsg.reset ()
 		val prog = Parse.parse fname
 	    in
 		if !ErrorMsg.anyErrors then