From da250cc8b487e70a2bc9cc77b2abd24a6f917ff3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Thu, 10 Jun 2021 06:03:29 -0700 Subject: [PATCH] [Liveness] Modify qualifier to show procedure/type as code Summary: {F623534971} instead, we want the procedure name/type to be stylized as code Reviewed By: skcho Differential Revision: D29027480 fbshipit-source-id: 35f8e0c4a --- infer/src/checkers/liveness.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/liveness.ml b/infer/src/checkers/liveness.ml index 14e3c8807..6efeb8fcc 100644 --- a/infer/src/checkers/liveness.ml +++ b/infer/src/checkers/liveness.ml @@ -364,7 +364,7 @@ let checker {IntraproceduralAnalysis.proc_desc; err_log} = in let log_report pvar typ loc = let message = - F.asprintf "The value written to %a (type %a) is never used" (Pvar.pp Pp.text) pvar + F.asprintf "The value written to `%a` (type `%a`) is never used" (Pvar.pp Pp.text) pvar (Typ.pp_full Pp.text) typ in let ltr = [Errlog.make_trace_element 0 loc "Write of unused value" []] in