From e607ceb5ba9fe9fbb71dd82eb84fbc79ee0663eb Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 23 Dec 2015 08:28:28 -0800
Subject: [PATCH] Re-enable printing of specs in InferPrint

Summary:
public
It seems that restricting printing to stdout and stderr to developer
mode has broken InferPrint.  So unconditionally turn developer mode on
in InferPrint.

Reviewed By: sblackshear

Differential Revision: D2786897

fb-gh-sync-id: 44b5772
---
 infer/src/backend/inferprint.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/backend/inferprint.ml b/infer/src/backend/inferprint.ml
index 5d8bd0919..b2e523c33 100644
--- a/infer/src/backend/inferprint.ml
+++ b/infer/src/backend/inferprint.ml
@@ -987,6 +987,7 @@ end
 let compute_top_procedures = ref false (* warning: computing top procedures iterates over summaries twice *)
 
 let () =
+  Config.developer_mode := true;
   Config.print_using_diff := true;
   handle_source_file_copy_option ();
   let iterate_summaries = AnalysisResults.get_summary_iterator () in