diff --git a/infer/src/cost/ConfigImpactAnalysis.ml b/infer/src/cost/ConfigImpactAnalysis.ml index 7f5582d5a..4486580ec 100644 --- a/infer/src/cost/ConfigImpactAnalysis.ml +++ b/infer/src/cost/ConfigImpactAnalysis.ml @@ -93,7 +93,7 @@ module UncheckedCallee = struct let pp_without_location_list f unchecked_callees = IList.pp_print_list ~max:Config.config_impact_max_callees_to_print ~pp_sep:(fun f () -> Format.pp_print_string f ", ") - (fun f {callee} -> Procname.pp f callee) + (fun f {callee} -> Format.fprintf f "`%a`" Procname.pp callee) f unchecked_callees diff --git a/infer/src/integration/Differential.ml b/infer/src/integration/Differential.ml index cb663c27a..430ed2ca5 100644 --- a/infer/src/integration/Differential.ml +++ b/infer/src/integration/Differential.ml @@ -427,7 +427,7 @@ module ConfigImpactItem = struct (UncheckedCallee.is_known_expensive x) ) in let qualifier = - Format.asprintf "Function call%s to %a %s %a without GK/QE." + Format.asprintf "Function call%s to %a %s %a **without GK/QE**." (if is_singleton then "" else "s") UncheckedCallee.pp_without_location_list unchecked_callees (if is_singleton then "is" else "are")