From 45ac3423d55ad88509374176ca15eca34afd0f1e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 16 Jan 2009 15:49:10 -0500
Subject: dlist example working

---
 tests/dlist.ur | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/dlist.ur')

diff --git a/tests/dlist.ur b/tests/dlist.ur
index 211291bc..dbf8c3c5 100644
--- a/tests/dlist.ur
+++ b/tests/dlist.ur
@@ -19,4 +19,5 @@ fun main () : transaction page =
                                    tl <- get s;
                                    s' <- source (Cons (hd, tl));
                                    set s s'}/>
+      <button value="Reset" onclick={set s ns}/>
     </body></xml>
-- 
cgit v1.2.3