max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/compiler/emit_cpp): missing space

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-03 10:41:41 -08:00
parent b5f20f0b73
commit e5e245d0f2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/compiler/emit_cpp.cpp
View file

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