From 1166c13cb1a063e9cd355af24359d9d6de0b448e Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Mon, 4 Jan 2021 07:46:42 -0800
Subject: [PATCH] [log] Add a missing line space

Reviewed By: martintrojer

Differential Revision: D25756987

fbshipit-source-id: c3ddb77b7
---
 infer/src/clang/cTrans.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml
index dca637aed..79a1f037e 100644
--- a/infer/src/clang/cTrans.ml
+++ b/infer/src/clang/cTrans.ml
@@ -3854,7 +3854,7 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
        destroy the temporary (hence the next instruction should also create its own new node to
        place before that) *)
     let destroy_one stmt_info trans_state (temporary : CScope.var_to_destroy) =
-      L.debug Capture Verbose "destructing %a, trans_state=%a" (Pvar.pp Pp.text_break)
+      L.debug Capture Verbose "destructing %a, trans_state=%a@\n" (Pvar.pp Pp.text_break)
         temporary.pvar pp_trans_state trans_state ;
       let open IOption.Let_syntax in
       let+ dtor_decl_ref = get_destructor_decl_ref temporary.qual_type.qt_type_ptr in