Mercurial > urweb
changeset 1921:312b62cdaa48
Add 'xhead' case to Monoize
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 06 Dec 2013 08:44:26 -0500 |
| parents | 2f33d9a51765 |
| children | 5890ba37827c |
| files | src/monoize.sml |
| diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/src/monoize.sml Tue Dec 03 16:54:04 2013 -0500 +++ b/src/monoize.sml Fri Dec 06 08:44:26 2013 -0500 @@ -215,6 +215,7 @@ | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc) | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "xhead") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)