diff options
Diffstat (limited to 'src/output.cpp')
| -rw-r--r-- | src/output.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/output.cpp b/src/output.cpp index 7e9029b..6d090d0 100644 --- a/src/output.cpp +++ b/src/output.cpp @@ -287,8 +287,6 @@ void output_t::emit_source() { void output_t::write() { emit_header(); - std::fflush(header_file); - emit_source(); } |