From 38d4fd3b42b382d86be4b67fda8889894c89f087 Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Wed, 9 Apr 2014 17:28:35 -0400
Subject: [PATCH] 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.
---
 src/main-doc.sml | 2 ++
 1 file changed, 2 insertions(+)

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