diff lib/ur/basis.urs @ 1557:4a13e1b73641

Switch type of 'for' attribute
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:56:05 -0400
parents e1f5d9c4cc20
children df6a7a22760a
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Sep 03 12:51:05 2011 -0400
+++ b/lib/ur/basis.urs	Sat Sep 03 12:56:05 2011 -0400
@@ -811,7 +811,7 @@
                    -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs)
                           ([Form] ++ ctx) ([Form] ++ ctx) use []
 
-val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs)
+val label : bodyTag ([For = id, Accesskey = string] ++ tableAttrs)
 
 
 (*** AJAX-oriented widgets *)