From 11295967a3517512595dff0ab218e92c325a5c4a Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Wed, 22 Mar 2017 15:51:30 -0700
Subject: [PATCH] [infer][java] remove unecessary call to `write_summary` in
 the bounded call tree checker

Summary: This call is redundant and is already done in `AbstractInterpreter`

Reviewed By: sblackshear

Differential Revision: D4754251

fbshipit-source-id: af2d11e
---
 infer/src/checkers/BoundedCallTree.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/checkers/BoundedCallTree.ml b/infer/src/checkers/BoundedCallTree.ml
index 433cefd63..e7c6afdb0 100644
--- a/infer/src/checkers/BoundedCallTree.ml
+++ b/infer/src/checkers/BoundedCallTree.ml
@@ -177,9 +177,6 @@ let checker { Callbacks.proc_desc; tenv; get_proc_desc } : Specs.summary =
                         examples of the expected format."
     | Some stacktraces -> begin
         let extras = { get_proc_desc; stacktraces; } in
-        SpecSummary.write_summary
-          proc_name
-          (Some (stacktree_of_pdesc proc_desc "proc_start"));
         ignore (Analyzer.exec_pdesc (ProcData.make proc_desc tenv extras) ~initial:Domain.empty)
       end
   end;