From 631f2a98822fa87f85ec43a90bc9fe3b1f2dffa7 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Tue, 17 Nov 2015 11:36:40 -0800 Subject: [PATCH] fixing spacing issue in context leak error message Reviewed By: jeremydubreil Differential Revision: D2664002 fb-gh-sync-id: 2073b52 --- infer/src/backend/localise.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/infer/src/backend/localise.ml b/infer/src/backend/localise.ml index dbaf465c4..f61be4e2c 100644 --- a/infer/src/backend/localise.ml +++ b/infer/src/backend/localise.ml @@ -369,8 +369,8 @@ let desc_context_leak pname context_typ fieldname leak_path : error_desc = let fld_str = Ident.fieldname_to_string fieldname in let leak_root = if fld_str = "android.os.Handler.sFakeHandlerQueue" - then " runnable passed to Handler.postDelayed |->\n " - else " static field " ^ fld_str ^ " |->\n " in + then " Runnable passed to Handler.postDelayed |->\n " + else " Static field " ^ fld_str ^ " |->\n " in let leak_path_entry_to_str acc entry = let entry_str = match entry with | (Some fld, _) -> Ident.fieldname_to_string fld @@ -380,12 +380,12 @@ let desc_context_leak pname context_typ fieldname leak_path : error_desc = let context_str = Sil.typ_to_string context_typ in let path_str = let path_prefix = - if leak_path = [] then "leaked " - else (IList.fold_left leak_path_entry_to_str "" leak_path) ^ " leaked " in + if leak_path = [] then "Leaked " + else (IList.fold_left leak_path_entry_to_str "" leak_path) ^ " Leaked " in path_prefix ^ context_str in let preamble = let pname_str = Procname.java_get_class pname ^ "." ^ Procname.java_get_method pname in - "Context " ^ context_str ^ "may leak during method" ^ pname_str ^ ":\n" in + "Context " ^ context_str ^ "may leak during method " ^ pname_str ^ ":\n" in ([preamble; leak_root; path_str], None, []) let desc_assertion_failure loc : error_desc =