From c1c6013533ba8eaa3b41924bcd61d99a4da27955 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Jun 2008 18:28:43 -0400
Subject: Translation to Cjr

---
 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 39daf5d0..07b8c1e2 100644
--- a/src/print.sig
+++ b/src/print.sig
@@ -30,6 +30,8 @@
 signature PRINT = sig
     structure PD : PP_DESC
                        where type PPS.token = string
+          and type PPS.device = TextIOPP.device
+          and type PPS.stream = TextIOPP.stream
 
     type 'a printer = 'a -> PD.pp_desc
 
-- 
cgit v1.2.3