From e52b3f22b501967c84b113c9975d75440ce8df40 Mon Sep 17 00:00:00 2001
From: Radu Grigore <radugrigore@gmail.com>
Date: Thu, 27 Jul 2017 07:58:32 -0700
Subject: [PATCH] [infer][PR] Flush output after printing bugs in txt format.

Summary:
If you run `infer report --issues-txt ilovecats.txt ...` then bugs may mysteriously miss from `ilovecats.txt`, unless you flush. (See rules of thumb for `Format` module.)
Closes https://github.com/facebook/infer/pull/694

Reviewed By: mbouaziz

Differential Revision: D5442335

Pulled By: jvillard

fbshipit-source-id: 73272a0
---
 infer/src/backend/InferPrint.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/InferPrint.ml b/infer/src/backend/InferPrint.ml
index 6ed8b8525..35cc68936 100644
--- a/infer/src/backend/InferPrint.ml
+++ b/infer/src/backend/InferPrint.ml
@@ -493,7 +493,7 @@ let pp_text_of_report fmt report =
     F.fprintf fmt "%s:%d: %s: %s %s@\n" jsonbug.file jsonbug.line jsonbug.kind jsonbug.bug_type
       jsonbug.qualifier
   in
-  List.iter ~f:pp_row report
+  List.iter ~f:pp_row report ; F.fprintf fmt "@?"
 
 module CallsCsv = struct
   (** Write proc summary stats in csv format *)