diff options
Diffstat (limited to 'bytecomp/printlambda.mli')
| -rw-r--r-- | bytecomp/printlambda.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bytecomp/printlambda.mli b/bytecomp/printlambda.mli index a0953a5cc..352d6d024 100644 --- a/bytecomp/printlambda.mli +++ b/bytecomp/printlambda.mli @@ -14,5 +14,7 @@ open Lambda -val structured_constant: structured_constant -> unit -val lambda: lambda -> unit +open Format + +val structured_constant: formatter -> structured_constant -> unit +val lambda: formatter -> lambda -> unit |