From 92241119a2bf38b3bb7aba5f733f65db14a17208 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Tue, 25 Apr 2017 03:45:28 -0700
Subject: [PATCH] [debug] Show the full payload of proc specs rather than
 preposts only

Reviewed By: jvillard

Differential Revision: D4945656

fbshipit-source-id: 4e0a15a
---
 infer/src/backend/specs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 "<LISTING>@\n";
-  pp_specs pe fmt (get_specs_from_payload summary);
+  pp_payload pe fmt summary.payload;
   F.fprintf fmt "</LISTING>@\n"
 
 let empty_stats calls =