diff options
| author | Brian Campbell | 2017-08-21 14:09:59 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-21 14:09:59 +0100 |
| commit | 79388061a9fb34789821fe719ce3ff25f93a047d (patch) | |
| tree | 01fcc120ecafe77212d66b8abbc8ded8593f7430 /src/pretty_print.mli | |
| parent | bbdb011b8364ceaed867abb9d6b580ba8b2a60e8 (diff) | |
| parent | c310ad77dee2bec75c272556e4ec843f5d9f2715 (diff) | |
Merge branch 'experiments' into mono-experiments
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 24816206..37de5241 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -52,4 +52,4 @@ val pat_to_string : 'a 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 |