X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/03b14a21885d02b8077bad3d497762ec948a8451..1b96e27daa5e23d69adc832183c947ebcdf1d658:/src/autodoc.sml

diff --git a/src/autodoc.sml b/src/autodoc.sml
index c64180d..bdf2527 100644
--- 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} =