From f09fc91feadd58481402c940a728bdda84aecb14 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 15 May 2014 16:46:31 +0100
Subject: Make pp_exp export to buffer

---
 src/pretty_print.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/pretty_print.mli')

diff --git a/src/pretty_print.mli b/src/pretty_print.mli
index 49c4af27..3fdf7841 100644
--- a/src/pretty_print.mli
+++ b/src/pretty_print.mli
@@ -1,9 +1,9 @@
 open Ast
 open Type_internal
 
-(* Prints on formatter the defs following source syntax *)
+(* Prints the defs following source syntax *)
 val pp_defs : out_channel -> tannot defs -> unit
-val pp_exp : out_channel -> exp -> unit
+val pp_exp : Buffer.t -> exp -> unit
 
 (* Prints on formatter the defs as Lem Ast nodes *)
 val pp_lem_defs : Format.formatter -> tannot defs -> unit
-- 
cgit v1.2.3