diff options
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 4 |
1 files changed, 2 insertions, 2 deletions
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 |