diff options
Diffstat (limited to 'contrib/extraction/ocaml.ml')
| -rw-r--r-- | contrib/extraction/ocaml.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index 5562e4e67..b4b6f30a6 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -441,7 +441,6 @@ let ocaml_preamble () = let extract_to_file f prm decls = let decls = List.map (fun d -> betared_decl (uncurrify_decl d)) decls in - let decls = elim_singleton decls in 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 |