From 73be4779ab5ac7863dd9de50306a64a3fa56faaf Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 20 Oct 2020 11:41:03 -0700 Subject: [PATCH] [sledge] Minor simplification of outputting Report Reviewed By: jvillard Differential Revision: D24306088 fbshipit-source-id: f95356dca --- sledge/src/report.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/sledge/src/report.ml b/sledge/src/report.ml index c384db187..3594e0f79 100644 --- a/sledge/src/report.ml +++ b/sledge/src/report.ml @@ -127,9 +127,8 @@ let name = ref "" let output entry = Option.iter !chan ~f:(fun chan -> - Out_channel.output_string chan - (Sexp.to_string (sexp_of_t {name= !name; entry})) ; - Out_channel.newline chan ) + Out_channel.output_lines chan + [Sexp.to_string (sexp_of_t {name= !name; entry})] ) let init ?append filename = (chan :=