Minor fix for previous commit

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 22af762c7de65897c3894538ff0203f8b7f74323..9282486c8dca0796f18454d48704738ac2b23bd0 100644 (file)
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -1182,7 +1182,6 @@ str[std::string& s]
           ++q;
           if(*q == '\\' || *q == '"') {
             *p++ = *q++;
-            ++q;
           } else {
             assert(*q != '\0');
             *p++ = '\\';