diff options
| author | Alasdair Armstrong | 2018-01-05 17:50:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-05 17:50:39 +0000 |
| commit | 90bfc9c8e401e41a2f4616b84976a57f357664df (patch) | |
| tree | f1ded7f454b4015873afb772d1c149c7f42c342b /src/pretty_print.mli | |
| parent | cb796f509c412c4f354e045f7b83f233d8863181 (diff) | |
Removed legacy parser/lexer and pretty printer
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/pretty_print.mli b/src/pretty_print.mli index d411815f..c685e0a4 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -51,11 +51,6 @@ open Ast open Type_check -(* Prints the defs following source syntax *) -val pp_defs : out_channel -> 'a defs -> unit -val pp_exp : Buffer.t -> 'a exp -> unit -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 |