Factor common printing functionality between text and HTML into a functor

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

diff --git a/src/autodoc.sml b/src/autodoc.sml
index 231a13e..86c8651 100644 (file)
--- 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
 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
 
 
        val G = foldl (fn (fname, G) => check' G fname) Env.empty infiles