flush cout when adding a new line character

Debug/DebFile.cc

@@ -119,7 +119,10 @@ public:
     if (_cnsl)
       std::cout << _c; // print on the console
     if (_c == '\n')
+    {
+      std::cout << std::flush;
       line_strt_ = true;
+    }
   }
 
   void line_break(const bool _cnsl = true) { print('\n', _cnsl); }