|
@@ -690,7 +690,7 @@ StringElement::toJSON(std::ostream& ss) const {
|
|
|
ss << "\"";
|
|
|
const std::string& str = stringValue();
|
|
|
for (size_t i = 0; i < str.size(); ++i) {
|
|
|
- char c = str[i];
|
|
|
+ const char c = str[i];
|
|
|
// Escape characters as defined in JSON spec
|
|
|
// Note that we do not escape forward slash; this
|
|
|
// is allowed, but not mandatory.
|