From 0a32c95f3915da71d11bcfba3c0e506c5d4daa92 Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Thu, 28 Jan 2016 02:58:07 -0800 Subject: [PATCH] Fix build of llvm frontend Reviewed By: dulmarod Differential Revision: D2874410 fb-gh-sync-id: 7ae15a9 --- infer/src/llvm/lTrans.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/infer/src/llvm/lTrans.ml b/infer/src/llvm/lTrans.ml index e8f632907..36bbfc192 100644 --- a/infer/src/llvm/lTrans.ml +++ b/infer/src/llvm/lTrans.ml @@ -135,11 +135,7 @@ let trans_function_def (cfg : Cfg.cfg) (cg: Cg.t) (metadata : LAst.metadata_map) locals = []; (* TODO *) ret_type; } in - let (procdesc_builder : Cfg.Procdesc.proc_desc_builder) = - { Cfg.Procdesc.cfg = cfg; - proc_attributes = proc_attrs; - } in - let procdesc = Cfg.Procdesc.create procdesc_builder in + let procdesc = Cfg.Procdesc.create cfg proc_attrs in let start_kind = Cfg.Node.Start_node procdesc in let start_node = Cfg.Node.create cfg (source_only_location ()) start_kind [] procdesc [] in let exit_kind = Cfg.Node.Exit_node procdesc in