From a1451c5a3a9bd54fb20c70d9b4e42d89b187b4e0 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Mon, 9 Oct 2017 08:17:10 -0700 Subject: [PATCH] pp_instr_list should end with ; Reviewed By: jvillard Differential Revision: D6008788 fbshipit-source-id: 89d2672 --- infer/src/IR/Sil.ml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/infer/src/IR/Sil.ml b/infer/src/IR/Sil.ml index 2e0c88ae4..9ebe4e6b0 100644 --- a/infer/src/IR/Sil.ml +++ b/infer/src/IR/Sil.ml @@ -428,12 +428,8 @@ let block_pvar = Pvar.mk (Mangled.from_string "block") (Typ.Procname.from_string (** Dump an instruction. *) let d_instr (i: instr) = L.add_print_action (L.PTinstr, Obj.repr i) -let pp_instr_list pe fmt = function - | [] - -> () - | first :: others - -> pp_instr pe fmt first ; - List.iter others ~f:(fun instr -> F.fprintf fmt ";@\n%a" (pp_instr pe) instr) +let pp_instr_list pe fmt instrs = + List.iter instrs ~f:(fun instr -> F.fprintf fmt "%a;@\n" (pp_instr pe) instr) (** Dump a list of instructions. *) let d_instr_list (il: instr list) = L.add_print_action (L.PTinstr_list, Obj.repr il)