aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-09-03 12:56:05 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-09-03 12:56:05 -0400
commit299943c475ee8fa62e353d4431a4365d9db2c0ca (patch)
tree23572f69b7844c6b440e9daed818a05cb0e257fd /lib/ur/basis.urs
parentcd28ea2ee01ac023b7b1dfac39ae5ddf4ded5c4e (diff)
Switch type of 'for' attribute
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index cdd49da9..6657034f 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -811,7 +811,7 @@ val image : ctx ::: {Unit} -> use ::: {Type}
-> 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 *)