diff options
| -rw-r--r-- | parsing/pprintast.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pprintast.mli b/parsing/pprintast.mli index 97c38b159..e84ee0307 100644 --- a/parsing/pprintast.mli +++ b/parsing/pprintast.mli @@ -83,7 +83,7 @@ class printer : method reset_semi : 'b method reset_ifthenelse : 'b method reset_pipe : 'b - + method signature : Format.formatter -> Parsetree.signature_item list -> unit method signature_item : |