summaryrefslogtreecommitdiff
path: root/lib
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
commit31c42f8c88e6c280119813d68a70ad522a6b94a2 (patch)
tree23572f69b7844c6b440e9daed818a05cb0e257fd /lib
parent50fc58e8fc815053950b7b919a75cb363d83f114 (diff)
Switch type of 'for' attribute
Diffstat (limited to 'lib')
-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 *)