Use newline instead of endl, for fewer stream flushes

2026-10-07 02:23:19 +02:00 · 2023-11-24 11:45:52 -05:00
parent fae7f11222
commit 58d9a5ebac
11 changed files with 57 additions and 57 deletions
@@ -399,7 +399,7 @@ void FileLine::v3errorEnd(std::ostringstream& sstr, const string& extra)
    std::ostringstream nsstr;
    if (lastLineno()) nsstr << this;
    nsstr << sstr.str();
-    nsstr << endl;
+    nsstr << "\n";
    std::ostringstream lstr;
    if (!extra.empty()) {
        lstr << std::setw(ascii().length()) << " "