diff options
Diffstat (limited to 'middle_end/closure/closure_middle_end.ml')
-rw-r--r-- | middle_end/closure/closure_middle_end.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/middle_end/closure/closure_middle_end.ml b/middle_end/closure/closure_middle_end.ml index cb593eb0ed..0d191fc26c 100644 --- a/middle_end/closure/closure_middle_end.ml +++ b/middle_end/closure/closure_middle_end.ml @@ -29,7 +29,7 @@ let raw_clambda_dump_if ppf end; if !Clflags.dump_cmm then Format.fprintf ppf "@.cmm:@." -let lambda_to_clambda ~backend ~filename:_ ~prefixname:_ ~ppf_dump +let lambda_to_clambda ~backend ~prefixname:_ ~ppf_dump (lambda : Lambda.program) = let clambda = Closure.intro ~backend ~size:lambda.main_module_block_size lambda.code |