E-mail aliases

[hcoop/domtool2.git] / src / print.sml

diff --git a/src/print.sml b/src/print.sml
index 9305714..89a640c 100644 (file)
--- a/src/print.sml
+++ b/src/print.sml
@@ -129,4 +129,7 @@ fun printd d =
        SM.closeStream myStream
     end
 
+fun preface (s, d) = printd (PD.hovBox (PD.PPS.Rel 0,
+                                       [PD.string s, PD.space 1, d]))
+
 end