From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 6 Feb 2014 16:13:24 +0000 (-0500)
Subject: Minor fix for previous commit
X-Git-Tag: cvc5-1.0.0~7102
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3f5d2860747c2608c0d765d105c8dd32ee57e1d;p=cvc5.git

Minor fix for previous commit
---

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 22af762c7..9282486c8 100644
--- 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++ = '\\';