# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1336331787 14400
# Node ID 9f56676e7c4eb29ccae839ac7e16340b296c353b
# Parent  693ab4dd1e9e0f124ce4f7bc387ad6461c29005b
Track addition of 'style' and 'dynStyle'

diff -r 693ab4dd1e9e -r 9f56676e7c4e html.ur
--- a/html.ur	Sun May 06 13:09:43 2012 -0400
+++ b/html.ur	Sun May 06 15:16:27 2012 -0400
@@ -15,7 +15,7 @@
      Attributes = attrs,
      Folder = fl,
      Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) =>
-                    Basis.tag null None ats construct inner}
+                    Basis.tag null None noStyle None ats construct inner}
 
 fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] =
     @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())