From 58d54b5e088ae016b6ec2f38bc2faa9852b3aacd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 17 Sep 2009 19:01:04 -0400
Subject: Grid changed to use Dlist.replace; filters stopped working

---
 demo/more/dlist.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'demo')

diff --git a/demo/more/dlist.ur b/demo/more/dlist.ur
index 6e660ab8..02286965 100644
--- a/demo/more/dlist.ur
+++ b/demo/more/dlist.ur
@@ -58,7 +58,7 @@ fun replace [t] dl ls =
                 case ls of
                     [] => return acc
                   | x :: ls =>
-                    this <- source (Cons (x, tl));
+                    this <- source (Cons (x, acc));
                     build ls this
         in
             hd <- build (List.rev ls) tl;
-- 
cgit v1.2.3