From f597f5df711397ca65af11eb61acacbfc3d61027 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.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/print.sig')

diff --git a/src/print.sig b/src/print.sig
index 83c84405..7467e041 100644
--- a/src/print.sig
+++ b/src/print.sig
@@ -59,4 +59,6 @@ signature PRINT = sig
     val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit
     val prefaces' : (string * PD.pp_desc) list -> unit
     val eprefaces' : (string * PD.pp_desc) list -> unit
+
+    val openOut : {dst : TextIO.outstream, wid : int} -> PD.PPS.stream
 end
-- 
cgit v1.2.3