From 298faea77aa1fee68084f30dc385b08bb103f3eb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 15 Dec 2010 09:42:35 -0500
Subject: Small tweaks to update demos for record unification change

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

(limited to 'demo/more')

diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index e0b4a351..9375e811 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -125,7 +125,7 @@ functor Make(M : sig
       <table class={tabl}>
         <tr class={tr}>
           <th/> <th/> <th><button value="No sort" onclick={set grid.Sort None}/></th>
-          {@mapX2 [fst3] [colMeta M.row] [_]
+          {@mapX2 [fst3] [colMeta M.row] [[Body, Tr]]
             (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest]
                              data (meta : colMeta M.row p) =>
                 <xml><th class={th}>
-- 
cgit v1.2.3