X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2ed6d0e50d89234c3d63c3707e855c922bd49358..12adf55a902b1d9bde677e4636530e5753857e05:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 59a76d5..b91f73a 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -81,6 +81,7 @@ fun basis () =
 fun check fname =
     let
 	val _ = ErrorMsg.reset ()
+	val _ = Env.preTycheck ()
 
 	val b = basis ()
     in