From 8d427cfda6e00c70a733e95dfd81e304fab1790c Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Sat, 19 Nov 2016 12:23:47 -0800 Subject: [PATCH] [reporting] add space to context leak error message Summary: D4189956 killed the phantom space printed after types, but the Context leak message was relying on it :). Reviewed By: jeremydubreil Differential Revision: D4208591 fbshipit-source-id: 9f0d709 --- infer/src/IR/Localise.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/IR/Localise.ml b/infer/src/IR/Localise.ml index 86d623df7..1bff18aaa 100644 --- a/infer/src/IR/Localise.ml +++ b/infer/src/IR/Localise.ml @@ -450,7 +450,7 @@ let desc_context_leak pname context_typ fieldname leak_path : error_desc = (Procname.java_get_method pname_java) | _ -> "" in - "Context " ^ context_str ^ "may leak during method " ^ pname_str ^ ":\n" in + "Context " ^ context_str ^ " may leak during method " ^ pname_str ^ ":\n" in { no_desc with descriptions = [preamble; leak_root; path_str] } let desc_unsafe_guarded_by_access pname accessed_fld guarded_by_str loc =