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/jyaworski/domtool2.git/commitdiff_plain/refs/heads/toplevel-dynamic-environment?hp=b89f3b680b7d4c16d2b684487d5a202fa0e726ae

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