From 0117539dd9aeca8fea83ae2eb55e58f272a0c46e Mon Sep 17 00:00:00 2001
From: Dino Distefano <ddino@fb.com>
Date: Wed, 25 Oct 2017 11:24:45 -0700
Subject: [PATCH] Fix debug flag in uninit

Reviewed By: sblackshear

Differential Revision: D6148574

fbshipit-source-id: 3ea7d85
---
 infer/src/checkers/uninit.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/infer/src/checkers/uninit.ml b/infer/src/checkers/uninit.ml
index a2db1ad14..fdafa86d9 100644
--- a/infer/src/checkers/uninit.ml
+++ b/infer/src/checkers/uninit.ml
@@ -95,7 +95,7 @@ let checker {Callbacks.tenv; summary; proc_desc} : Specs.summary =
     , IdAccessPathMapDomain.empty )
   in
   let invariant_map =
-    Analyzer.exec_cfg cfg (ProcData.make proc_desc tenv formal_map) ~initial:init ~debug:true
+    Analyzer.exec_cfg cfg (ProcData.make proc_desc tenv formal_map) ~initial:init ~debug:false
   in
   (* Check if an expression is in set of variables *)
   let exp_in_set exp vset =
@@ -186,4 +186,3 @@ let checker {Callbacks.tenv; summary; proc_desc} : Specs.summary =
           (Procdesc.get_proc_name proc_desc) ;
         summary )
       else summary
-