# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1402352763 14400
# Node ID 924e2ef31f5a66e2e4d8ee04d2044ac793114642
# Parent  79a2f3468e46b2faec169233389ff01e31d10257
Remove special treatment of <button>

diff -r 79a2f3468e46 -r 924e2ef31f5a src/monoize.sml
--- 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" =>