X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e1b99e23f8d30efc7842ee006e0ff3ef0347b7df..9b7ee2b22abce813120a633f5a4f5523a630a2ea:/src/autodoc.sml diff --git a/src/autodoc.sml b/src/autodoc.sml index 231a13e..86c8651 100644 --- a/src/autodoc.sml +++ b/src/autodoc.sml @@ -42,7 +42,7 @@ fun check' G fname = fun autodoc {outdir, infiles} = let val (prov, infiles) = Order.order NONE infiles - val _ = HtmlPrint.setProviders prov + val _ = HtmlPrintArg.setProviders prov val G = foldl (fn (fname, G) => check' G fname) Env.empty infiles