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";