From 1be7e54fa70a40b16164f69e7153ada0e4935994 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 31 Oct 2009 15:51:50 -0400
Subject: Start of bidding implementation compiles

---
 demo/more/conference1.ur | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'demo/more/conference1.ur')

diff --git a/demo/more/conference1.ur b/demo/more/conference1.ur
index 4cf2ae92..c51904e5 100644
--- a/demo/more/conference1.ur
+++ b/demo/more/conference1.ur
@@ -8,4 +8,8 @@ open Conference.Make(struct
                          val submissionDeadline = readError "2009-11-22 23:59:59"
 
                          fun summarizePaper r = cdata r.Title
+
+                         functor Make (M : Conference.INPUT where con paper = _) = struct
+                             open Bid.Make(M)
+                         end
                      end)
-- 
cgit v1.2.3