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)