From 0351ba637e206cdf397c85e3cfe2cfcf52aa4c9d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 24 Feb 2009 15:12:13 -0500
Subject: Demos compile again, with manual folders

---
 demo/metaform.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'demo/metaform.urs')

diff --git a/demo/metaform.urs b/demo/metaform.urs
index 7a3fa62e..505cb906 100644
--- a/demo/metaform.urs
+++ b/demo/metaform.urs
@@ -1,5 +1,6 @@
 functor Make (M : sig
                   con fs :: {Unit}
+                  val fl : folder fs
                   val names : $(mapUT string fs)
               end) : sig
     val main : unit -> transaction page
-- 
cgit v1.2.3