From e5e245d0f2f8e4b23cfefca32c05f88f27beeffa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 3 Feb 2019 10:41:41 -0800
Subject: [PATCH] chore(library/compiler/emit_cpp): missing space

---
 src/library/compiler/emit_cpp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/compiler/emit_cpp.cpp b/src/library/compiler/emit_cpp.cpp
index 0069f7bd5c..b92df4d366 100644
--- a/src/library/compiler/emit_cpp.cpp
+++ b/src/library/compiler/emit_cpp.cpp
@@ -776,7 +776,7 @@ public:
         } else {
             m_out << "_init_" << to_base_cpp_name(m_env, n) << "()";
         }
-        m_out << "{\n";
+        m_out << " {\n";
         m_out << "_start:\n";
         emit(e);
         m_out << "}\n";