# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1408461459 14400
# Node ID cbc8bcf30c994e41c33ce2203cae91d00564382c
# Parent  44428bbda65c8e0baf05b5dccbcb8be9a0e975c6
<cselect> and <coption> type fixes (grandfathered into release)

diff -r 44428bbda65c -r cbc8bcf30c99 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Tue Aug 19 11:08:25 2014 -0400
+++ b/lib/ur/basis.urs	Tue Aug 19 11:17:39 2014 -0400
@@ -1019,9 +1019,8 @@
 
 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) []
 
-con cselect = [Cselect]
-val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect
-val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
+val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]
+val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
 
 val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
                            Ontext = transaction unit] ++ boxAttrs) []