From b3f5d2860747c2608c0d765d105c8dd32ee57e1d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 6 Feb 2014 11:13:24 -0500
Subject: [PATCH] Minor fix for previous commit

---
 src/parser/smt2/Smt2.g | 1 -
 1 file changed, 1 deletion(-)

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++ = '\\';
-- 
2.30.2