summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-26 08:46:25 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-26 08:46:25 -0500
commit47ca09964c4dbd1163793798fe86fc38338df47c (patch)
treebea9c98934bf043ac30f998f268f0d772a68ece7 /src/monoize.sml
parent227c87323603dc0b338e89997d2fce7ffc755fb0 (diff)
<img> has dimensions and needs special HTML handling
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index bda6cfe4..cc239632 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -47,7 +47,8 @@ val singletons = SS.addList (SS.empty,
"p",
"hr",
"input",
- "button"])
+ "button",
+ "img"])
val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)