diff options
| author | Christopher Pulte | 2017-09-15 11:50:54 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2017-09-15 11:50:54 +0100 |
| commit | a97cd6081df6a76c9daa34c773d82f21f5d014c8 (patch) | |
| tree | db87775aae85c734594728534de49dbfeac9e5e1 /src/pretty_print.mli | |
| parent | 8c143d2aaebaa210e4d4778a0bcfd5326908bdf8 (diff) | |
reinstate deep/shallow conversion
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.mli b/src/pretty_print.mli index 9a002454..034db664 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -52,7 +52,7 @@ val pat_to_string : tannot pat -> string val pp_lem_defs : Format.formatter -> tannot defs -> unit val pp_defs_ocaml : out_channel -> tannot defs -> string -> string list -> unit -val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit +val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit val pp_format_annot_ascii : tannot -> string |