diff src/monoize.sml @ 761:16b34dc2e29c

<input type='hidden'>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 14:48:23 -0400
parents 8323c1beef2e
children 7f653298dd66
line wrap: on
line diff
--- a/src/monoize.sml	Thu Apr 30 14:43:55 2009 -0400
+++ b/src/monoize.sml	Thu Apr 30 14:48:23 2009 -0400
@@ -2533,6 +2533,7 @@
                     
                   | "submit" => normal ("input type=\"submit\"", NONE, NONE)
                   | "button" => normal ("input type=\"submit\"", NONE, NONE)
+                  | "hidden" => input "hidden"
 
                   | "textbox" =>
                     (case targs of