From 7d189e95615b37106d504415ce21b8eec8710080 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sun, 21 Apr 2013 15:58:34 -0400
Subject: Forum: Functorize entry point

---
 forum/forum.urs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'forum/forum.urs')

diff --git a/forum/forum.urs b/forum/forum.urs
index 1dad9a7..bf25c4f 100644
--- a/forum/forum.urs
+++ b/forum/forum.urs
@@ -16,4 +16,10 @@ details.
 You should have received a copy of the GNU Affero General Public License along
 with 6.947.  If not, see <http://www.gnu.org/licenses/>. *)
 
-val main : unit -> xbody
+functor Make(Template : sig
+    val generic : option string -> xbody -> page
+end) : sig
+
+val main : unit -> transaction page
+
+end
-- 
cgit v1.2.3