diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-11 12:01:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-11 12:01:54 -0400 |
| commit | 28f2c29dd98659f00e4d7bc3147c2fc2e5320f34 (patch) | |
| tree | 27602bf6de6e24922737f44491a00c209b00ca3e /src/monoize.sml | |
| parent | 9b6136387980544fe8c8a8eba41a5fb16d0595c5 (diff) | |
JavaScript urlifying of bools; correct Link attribute escaping
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index c0351756..4d48a7ff 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2538,6 +2538,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = val x = case x of "Typ" => "Type" + | "Link" => "Href" | _ => x val xp = " " ^ lowercaseFirst x ^ "=\"" |