From d68ef6f50dc4e119bdb8ee1a300fc87658cc4947 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 9 Jun 2014 18:26:03 -0400
Subject: Remove special treatment of <button>

---
 src/monoize.sml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/monoize.sml b/src/monoize.sml
index f7344fed..6572b2ac 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3650,7 +3650,6 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
 
                       | "submit" => normal ("input type=\"submit\"", NONE)
                       | "image" => normal ("input type=\"image\"", NONE)
-                      | "button" => normal ("input type=\"submit\"", NONE)
                       | "hidden" => input "hidden"
 
                       | "textbox" =>
-- 
cgit v1.2.3