Saving environment variables across file executions

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

diff --git a/src/autodoc.sml b/src/autodoc.sml
index c64180d..bdf2527 100644 (file)
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -36,7 +36,7 @@ fun check' G fname =
        if !ErrorMsg.anyErrors then
            G
        else
-           Tycheck.checkFile G (Defaults.tInit ()) prog
+           Tycheck.checkFile G (Defaults.tInit prog) prog
     end
 
 fun autodoc {outdir, infiles} =