diff demo/more/dlist.ur @ 957:2831be2daf2e

Grid changed to use Dlist.replace; filters stopped working
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 19:01:04 -0400
parents 2a50da66ffd8
children 3aaac251a5af
line wrap: on
line diff
--- a/demo/more/dlist.ur	Thu Sep 17 17:17:49 2009 -0400
+++ b/demo/more/dlist.ur	Thu Sep 17 19:01:04 2009 -0400
@@ -58,7 +58,7 @@
                 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;