diff options
Diffstat (limited to 'tools/dis/dis.cpp')
| -rw-r--r-- | tools/dis/dis.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/dis/dis.cpp b/tools/dis/dis.cpp index 8d1749c3d1..166a178d57 100644 --- a/tools/dis/dis.cpp +++ b/tools/dis/dis.cpp @@ -115,7 +115,10 @@ int main(int argc, char **argv) { Passes.run(*M.get()); - if (Out != &std::cout) delete Out; + if (Out != &std::cout) { + ((std::ofstream*)Out)->close(); + delete Out; + } return 0; } |