diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-06 11:13:24 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-06 11:13:24 -0500 |
commit | b3f5d2860747c2608c0d765d105c8dd32ee57e1d (patch) | |
tree | ae1f32a61142c474eb8ffbeefcd82c81199f946e /src/parser | |
parent | f0077fa95b7fbb42daeef772be454b84535732da (diff) |
Minor fix for previous commit
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/smt2/Smt2.g | 1 |
1 files changed, 0 insertions, 1 deletions
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++ = '\\'; |