# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1315068965 14400
# Node ID 4a13e1b736415f2aa14395beac1a2d2a64f80915
# Parent  e1f5d9c4cc20c9484065ed9abd80ef16855e613d
Switch type of 'for' attribute

diff -r e1f5d9c4cc20 -r 4a13e1b73641 lib/ur/basis.urs
--- 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 *)