diff html.ur @ 17:1a915f89f23a

Update for a change to Ur/Web tag encoding
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 10:10:50 -0500
parents 8eaaca74a64c
children 6cd839818393
line wrap: on
line diff
--- 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 ())