From f8eb9c246627e8596d9057df8c499c763557fda2 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Thu, 15 Jun 2017 02:34:13 -0700 Subject: [PATCH] @\n only for format strings Reviewed By: sblackshear Differential Revision: D5247099 fbshipit-source-id: 51829d4 --- infer/src/backend/printer.ml | 4 ++-- infer/src/bufferoverrun/bufferOverrunDomain.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/backend/printer.ml b/infer/src/backend/printer.ml index 98b65debb..2a17cf6ea 100644 --- a/infer/src/backend/printer.ml +++ b/infer/src/backend/printer.ml @@ -556,7 +556,7 @@ let write_html_file linereader filename procs = ~f:(fun err_string -> F.fprintf fmt "%s" (create_err_message err_string)) errors_at_linenum; - F.fprintf fmt "%s" "@\n" in + F.fprintf fmt "@\n" in pp_prelude (); let global_err_log = Errlog.empty () in @@ -572,7 +572,7 @@ let write_html_file linereader filename procs = print_one_line proof_cover table_nodes_at_linenum table_err_per_line !linenum done with End_of_file -> - (F.fprintf fmt "%s" "@\n"; + (F.fprintf fmt "@\n"; Errlog.pp_html filename [fname_encoding] fmt global_err_log; Io_infer.Html.close (fd, fmt)) diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml index 2c2467250..fe77fd588 100644 --- a/infer/src/bufferoverrun/bufferOverrunDomain.ml +++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml @@ -799,6 +799,6 @@ struct let pp : F.formatter -> t -> unit = fun fmt (entry_mem, exit_mem, condition_set) -> - F.fprintf fmt "%a@,%a@,%a@" + F.fprintf fmt "%a@,%a@,%a@," Mem.pp entry_mem Mem.pp exit_mem ConditionSet.pp condition_set end