diff options
Diffstat (limited to 'contrib/extraction/ocaml.ml')
| -rw-r--r-- | contrib/extraction/ocaml.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index a7b96d8e9..2d0518d92 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -438,8 +438,9 @@ let ocaml_preamble () = 'sTR "type arity = unit"; 'fNL; 'sTR "let arity = ()"; 'fNL; 'fNL >] -let extract_to_file f modular decls = - let pp_decl = if modular then ModularPp.pp_decl else MonoPp.pp_decl in +let extract_to_file f prm decls = + let decls = optimize prm decls in + let pp_decl = if prm.modular then ModularPp.pp_decl else MonoPp.pp_decl in let cout = open_out f in let ft = Pp_control.with_output_to cout in pP_with ft (hV 0 (ocaml_preamble ())); |