# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1325171450 18000
# Node ID 1a915f89f23a692106ef67ad746a7ca1e1844beb
# Parent  95958369216685843d28b7116696ce5de7dc62b0
Update for a change to Ur/Web tag encoding

diff -r 959583692166 -r 1a915f89f23a html.ur
--- a/html.ur	Sun Dec 11 14:44:18 2011 -0500
+++ b/html.ur	Thu Dec 29 10:10:50 2011 -0500
@@ -15,7 +15,7 @@
      Attributes = attrs,
      Folder = fl,
      Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) =>
-                    Basis.tag None ats construct inner}
+                    Basis.tag None None ats construct inner}
 
 fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] =
     @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())