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/metaform1.ur | 1 -
 1 file changed, 1 deletion(-)

(limited to 'demo/metaform1.ur')

diff --git a/demo/metaform1.ur b/demo/metaform1.ur
index 2f3356fa..c6a4664d 100644
--- a/demo/metaform1.ur
+++ b/demo/metaform1.ur
@@ -1,4 +1,3 @@
 open Metaform.Make(struct
                        val names = {A = "Tic", B = "Tac", C = "Toe"}
-                       val fl = Folder.cons [#A] [()] ! (Folder.cons [#B] [()] ! (Folder.cons [#C] [()] ! Folder.nil))
                    end)
-- 
cgit v1.2.3