diff --git a/infer/src/backend/specs.ml b/infer/src/backend/specs.ml index 3d13602bc..8c7782796 100644 --- a/infer/src/backend/specs.ml +++ b/infer/src/backend/specs.ml @@ -488,7 +488,7 @@ let pp_summary_html source color fmt summary = Errlog.pp_html source [] fmt err_log; Io_infer.Html.pp_hline fmt (); F.fprintf fmt "@\n"; - pp_specs pe fmt (get_specs_from_payload summary); + pp_payload pe fmt summary.payload; F.fprintf fmt "@\n" let empty_stats calls =