To grow std::string by a char, use push_back() instead of append().

meow-7.2.2
Nat Goodspeed 2012-01-19 17:04:55 -05:00
parent 6fddfab6dd
commit 083a9e0927
1 changed files with 1 additions and 1 deletions

View File

@ -92,7 +92,7 @@ static std::string quote(const std::string& str)
{
result.append("\\");
}
result.append(*ci);
result.push_back(*ci);
}
return result + "\"";
}