From 64b7c504f9c1651a11f29a32a0c0ef5db6fdc982 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 24 Dec 2010 12:51:46 -0500
Subject: Add an extra Especialize pass before Rpcify

---
 src/print.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/print.sml')

diff --git a/src/print.sml b/src/print.sml
index 7329c44d..d4059edf 100644
--- a/src/print.sml
+++ b/src/print.sml
@@ -32,6 +32,8 @@ structure Print :> PRINT = struct
 structure SM = TextIOPP
 structure PD = PPDescFn(SM)
 
+val openOut = SM.openOut
+
 type 'a printer = 'a -> PD.pp_desc
 
 fun box ds = PD.hovBox (PD.PPS.Rel 1, ds)
-- 
cgit v1.2.3