diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-17 22:59:39 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-17 23:00:26 -0500 |
commit | d0e992bda89926bd3c4ecfd6deefb0db87a71d8a (patch) | |
tree | 635610a6a6076fa6051b799e46064f416a4cd764 | |
parent | 65fb43f8516a85d6420efcacd3c065adde11d2fd (diff) |
Fix for quote-escaping in smt2 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 b743ba70e..4b36b4548 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -960,9 +960,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; } |