Flush stdout after every new result

1 files changed, 1 insertions, 1 deletions

diff --git a/checks/bench.h b/checks/bench.h
index f58ce3250..07d67e0d1 100644
--- a/checks/bench.h
+++ b/checks/bench.h
@@ -15,7 +15,7 @@ class Benchmark_Report
    public:
       void report(const std::string& name, Timer timer)
          {
-         std::cout << name << " " << timer << "\n";
+         std::cout << name << " " << timer << std::endl;
          data[name].insert(timer);
          }