diff options
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 2aaf5318..5537f42c 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -52,4 +52,4 @@ open Ast open Type_check (* Prints on formatter the defs as Lem Ast nodes *) -val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit +val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> Env.t -> tannot defs -> string -> unit |