From d4452116d68b41b3c829d830f3fa9f2a275e36ec Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 24 Feb 2009 15:54:05 -0500
Subject: Folder generation for functors

---
 demo/crud1.ur | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'demo/crud1.ur')

diff --git a/demo/crud1.ur b/demo/crud1.ur
index 65140035..3849e822 100644
--- a/demo/crud1.ur
+++ b/demo/crud1.ur
@@ -9,10 +9,4 @@ open Crud.Make(struct
                                B = Crud.string "B",
                                C = Crud.float "C",
                                D = Crud.bool "D"}
-
-                   val fl = Folder.cons [#A] [_] !
-                                        (Folder.cons [#B] [_] !
-                                                     (Folder.cons [#C] [_] !
-                                                                  (Folder.cons [#D] [_] !
-                                                                               Folder.nil)))
                end)
-- 
cgit v1.2.3