diff options
Diffstat (limited to 'externals/grill/pool')
| -rw-r--r-- | externals/grill/pool/source/pool.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/grill/pool/source/pool.cpp b/externals/grill/pool/source/pool.cpp index 0ce81ed8..23f5edbc 100644 --- a/externals/grill/pool/source/pool.cpp +++ b/externals/grill/pool/source/pool.cpp @@ -574,7 +574,7 @@ static V WriteAtom(ostream &os,const A &a) const char *c = flext::GetString(flext::GetSymbol(a)); os << '"'; for(; *c; ++c) { - if(isspace(*c) || *c == '\\' || *c == ',') + if(isspace(*c) || *c == '\\' || *c == ',' || *c == '"') os << '\\'; os << *c; } |