From c4e99a469eef4a75a8dafea827376cb84d91f3d0 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Fri, 5 Dec 2014 18:15:33 +0000
Subject: remove useless Obj.magic

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/merge_sig_str@15631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 parsing/ast_mapper.ml | 4 +---
 1 file changed, 1 insertion(+), 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;
-- 
cgit v1.2.1