diff options
Diffstat (limited to 'middle_end/closure/closure_middle_end.mli')
| -rw-r--r-- | middle_end/closure/closure_middle_end.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/middle_end/closure/closure_middle_end.mli b/middle_end/closure/closure_middle_end.mli index e0ebb1decf..35cec165e7 100644 --- a/middle_end/closure/closure_middle_end.mli +++ b/middle_end/closure/closure_middle_end.mli @@ -15,7 +15,6 @@ val lambda_to_clambda : backend:(module Backend_intf.S) - -> filename:string -> prefixname:string -> ppf_dump:Format.formatter -> Lambda.program |