From 67f4fb603dde19661c8a668757ecedd505e9223f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 3 Feb 2019 19:19:01 -0800
Subject: [PATCH] chore(library/compiler/emit_cpp): unnecessary line break

---
 src/library/compiler/emit_cpp.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/library/compiler/emit_cpp.cpp b/src/library/compiler/emit_cpp.cpp
index 016753b10f..50ebba577d 100644
--- a/src/library/compiler/emit_cpp.cpp
+++ b/src/library/compiler/emit_cpp.cpp
@@ -703,6 +703,7 @@ struct emit_fn_fn {
         buffer<expr> jps;
         buffer<expr> locals;
         buffer<expr> instrs;
+        bool declared_vars = false;
         while (is_let(e)) {
             expr v = instantiate_rev(let_value(e), locals.size(), locals.data());
             if (is_join_point_name(let_name(e))) {
@@ -712,6 +713,7 @@ struct emit_fn_fn {
                     jp_vars.push_back(y);
                     /* Declare join point parameter, we need them to implement join point calls in this block. */
                     m_out << to_cpp_type(binding_domain(v)) << " "; emit_fvar(y); m_out << "; ";
+                    declared_vars = true;
                     v = binding_body(v);
                 }
                 v = instantiate_rev(v, jp_vars.size(), jp_vars.data());
@@ -730,6 +732,7 @@ struct emit_fn_fn {
                            Remark: variables of type `_void` are used to store instructions that do
                            not return any value.  */
                         m_out << to_cpp_type(let_type(e)) << " "; emit_fvar(x); m_out << "; ";
+                        declared_vars = true;
                     }
                     instrs.push_back(x);
                 }
@@ -737,7 +740,8 @@ struct emit_fn_fn {
             e = let_body(e);
         }
         e = instantiate_rev(e, locals.size(), locals.data());
-        m_out << "\n";
+        if (declared_vars)
+            m_out << "\n";
         /* emit instructions */
         for (expr const & x : instrs) {
             local_decl d = m_lctx.get_local_decl(x);