diff options
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/pretty_print.mli b/src/pretty_print.mli index 835d4648..b878d29e 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -50,6 +50,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_ocaml : out_channel -> tannot defs -> string -> string list -> unit val pp_defs_lem : bool -> bool -> (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit |