diff options
| author | Thomas Bauereiss | 2017-12-14 16:48:05 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-12-14 17:06:28 +0000 |
| commit | 2ef7c31074720997bbc519e44e34c076677ab282 (patch) | |
| tree | 39454157133f7faf41aa6bafaa2de291d0c6e907 /src/pretty_print.mli | |
| parent | 4597e503131395df087b1aa9a600a96be5a960ed (diff) | |
Make sequential and mwords global variables in Lem pretty-printer
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 d411815f..c01e0b93 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -58,4 +58,4 @@ val pat_to_string : 'a pat -> string (* Prints on formatter the defs as Lem Ast nodes *) val pp_lem_defs : Format.formatter -> tannot defs -> unit -val pp_defs_lem : bool -> bool -> (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit +val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit |