From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Wed, 9 Apr 2014 21:28:35 +0000 (-0400)
Subject: domtool-doc: fake privs
X-Git-Tag: release_20140428~3^2
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/38d4fd3b42b382d86be4b67fda8889894c89f087

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
--- 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