summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-04 16:15:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-04 16:15:13 -0400
commitf7e81b4b27489ea0cf814aa48426b3972f73532d (patch)
treefe36f78ac70407492949f699f7c840f353957999 /lib
parent820db2a3a1c185ea91d8a8f14a30a52489595e3f (diff)
Use checkbox in CRUD example
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index 3dec0461..c1030874 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -300,7 +300,7 @@ val textbox : lformTag string [] [Value = string]
val password : lformTag string [] []
val ltextarea : lformTag string [] []
-val checkbox : lformTag bool [] []
+val checkbox : lformTag bool [] [Checked = bool]
con radio = [Body, Radio]
val radio : lformTag string radio []