# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1386337466 18000
# Node ID 312b62cdaa48c6b3c20cb702af20a884f90cf47e
# Parent  2f33d9a5176544c9bd9c5a8be802f024537d7bf5
Add 'xhead' case to Monoize

diff -r 2f33d9a51765 -r 312b62cdaa48 src/monoize.sml
--- 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)