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/crud2.ur | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'demo/crud2.ur')

diff --git a/demo/crud2.ur b/demo/crud2.ur
index 1db376d4..f7adf29b 100644
--- a/demo/crud2.ur
+++ b/demo/crud2.ur
@@ -31,4 +31,8 @@ open Crud.Make(struct
                                         Inject = _
                                        }
                               }
+
+                   val fl = Folder.cons [#Nam] [_] !
+                                        (Folder.cons [#Ready] [_] !
+                                                     Folder.nil)
                end)
-- 
cgit v1.2.3