changeset 2020:924e2ef31f5a

Remove special treatment of <button>
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Jun 2014 18:26:03 -0400
parents 79a2f3468e46
children 2da693675de9
files src/monoize.sml
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/monoize.sml	Sat May 31 16:57:52 2014 -0400
+++ b/src/monoize.sml	Mon Jun 09 18:26:03 2014 -0400
@@ -3650,7 +3650,6 @@
 
                       | "submit" => normal ("input type=\"submit\"", NONE)
                       | "image" => normal ("input type=\"image\"", NONE)
-                      | "button" => normal ("input type=\"submit\"", NONE)
                       | "hidden" => input "hidden"
 
                       | "textbox" =>