diff options
| author | Kathy Gray | 2013-08-22 15:17:06 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-22 15:17:06 +0100 |
| commit | 86b3a50f56dd38999fa8eca7375fbd59d29603cb (patch) | |
| tree | cb2e4da94e71d5db5c9c6d0b6a6c033e05db64aa /src/pretty_print.mli | |
| parent | f3b7dba070562940427405b92b3c47cc29ee2a51 (diff) | |
Pretty printer for whole AST; due to parenthesis not always being placed where needed, what is generated may not parse
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 30f15181..ebe9301a 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -2,6 +2,4 @@ open Ast open Type_internal open Format -val pp_format_ast : tannot defs -> string - val pp_defs : Format.formatter -> tannot defs -> unit |