X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1a4e5a6c9a8fbbdc980cf0661c444ddc2910544a..629a34f64f780c03d049d20057acc9a487162272:/src/print.sml

diff --git a/src/print.sml b/src/print.sml
index 4b497bd..89a640c 100644
--- a/src/print.sml
+++ b/src/print.sml
@@ -14,7 +14,7 @@
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
-*)
+ *)
 
 (* Pretty-printing Domtool configuration file ASTs *)
 
@@ -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