Commit f482a079 authored by gbalduzz's avatar gbalduzz
Browse files

flush output after error in main

parent fccf1b8e
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -95,7 +95,7 @@ int main(int argc, char** argv) {
    }
  }
  catch (const std::exception& err) {
    std::cout << "Unhandled exception in main function:\n\t" << err.what();
    std::cout << "Unhandled exception in main function:\n\t" << err.what() << std::endl;
    concurrency.abort();
  }