diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2014-12-05 18:15:33 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2014-12-05 18:15:33 +0000 |
commit | c4e99a469eef4a75a8dafea827376cb84d91f3d0 (patch) | |
tree | 181c4b6d8c855470851fb068bc286047b06de3ab | |
parent | 62162ab1a4ed57c6686f55ffde3d9a92dcf1864e (diff) | |
download | ocaml-merge_sig_str.tar.gz |
remove useless Obj.magicmerge_sig_str
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/merge_sig_str@15631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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; |