ACLs

[hcoop/domtool2.git] / src / main.sml

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

+       val _ = Env.preTycheck ()

 
        val b = basis ()
     in
 
        val b = basis ()
     in