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/batchFun.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'demo/batchFun.ur')

diff --git a/demo/batchFun.ur b/demo/batchFun.ur
index ca48c7dc..2b54a426 100644
--- a/demo/batchFun.ur
+++ b/demo/batchFun.ur
@@ -85,7 +85,7 @@ functor Make(M : sig
             <xml><dyn signal={ls <- signal lss; return <xml><table>
               <tr>
                 <th>Id</th>
-                {@mapX [colMeta] [_]
+                {@mapX [colMeta] [[Body, Tr]]
                   (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m =>
                       <xml><th>{[m.Nam]}</th></xml>)
                   M.fl M.cols}
-- 
cgit v1.2.3