diff options
| -rw-r--r-- | tools/bugpoint/BugDriver.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/bugpoint/BugDriver.cpp b/tools/bugpoint/BugDriver.cpp index f03a197310..ff68fb05fa 100644 --- a/tools/bugpoint/BugDriver.cpp +++ b/tools/bugpoint/BugDriver.cpp @@ -170,4 +170,5 @@ void BugDriver::PrintFunctionList(const std::vector<Function*> &Funcs) { if (i) std::cout << ", "; std::cout << Funcs[i]->getName(); } + std::cout << std::flush; } |