domtool-doc: fake privs

With environment defaults in the basis library, permissions need to be
faked to allow typechecking of your_FOO refinement types to succeed.

diff --git a/src/main-doc.sml b/src/main-doc.sml
index f088f8b..f2b6eab 100644 (file)
--- a/src/main-doc.sml
+++ b/src/main-doc.sml
@@ -44,6 +44,8 @@ val _ =
                        files
     in
        Tycheck.allowExterns ();
+       Domain.declareClient ();
+       Domain.fakePrivileges ();
        if emacs then
            Autodoc.makeEmacsKeywords files
        else