diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-17 23:00:32 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-17 23:00:32 -0500 |
commit | 0d2c0a0c5a07479cadc5ba54e5f6258f1964d1e0 (patch) | |
tree | 4841e7b16392657372ceb626ffbfc0404d03fe2b /src/printer | |
parent | 276fb84a1bb1905ce2080c007f63fefff536a970 (diff) | |
parent | d0e992bda89926bd3c4ecfd6deefb0db87a71d8a (diff) |
Merge branch '1.3.x'
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 09de0d378..0ca7f323b 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -987,9 +987,10 @@ static void toStream(std::ostream& out, const CommandUnsupported* s) throw() { static void toStream(std::ostream& out, const CommandFailure* s) throw() { string message = s->getMessage(); // escape all double-quotes - size_t pos; - while((pos = message.find('"')) != string::npos) { + size_t pos = 0; + while((pos = message.find('"', pos)) != string::npos) { message = message.replace(pos, 1, "\\\""); + pos += 2; } out << "(error \"" << message << "\")" << endl; } |