diff options
| -rw-r--r-- | parsing/ast_mapper.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/parsing/ast_mapper.ml b/parsing/ast_mapper.ml index b089f49c36..6030db609e 100644 --- a/parsing/ast_mapper.ml +++ b/parsing/ast_mapper.ml @@ -811,9 +811,7 @@ let apply_lazy ~source ~target mapper = pstr_loc = Location.none}] | None -> raise exn in - let ast = - Obj.magic (implem (magic = Config.ast_impl_magic_number) (Obj.magic ast)) - in + let ast = implem (magic = Config.ast_impl_magic_number) ast in let oc = open_out_bin target in output_string oc magic; output_value oc !Location.input_name; |