diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2015-01-13 13:24:09 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2015-01-13 13:24:09 -0500 |
| commit | 2f2eaaa6b73b4da024c2e95b0f5c0139c9721458 (patch) | |
| tree | 9e8b1d2b622e9b75654d01b1e1db96bd979bffb0 /src/parser | |
| parent | 9921d8baa2ec51a4bac8a8c87c5cad7b1abb140e (diff) | |
Fix typo.
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 22b2244a0..d7f4489bf 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1541,7 +1541,7 @@ str[std::string& s, bool fsmtlib] s = s.substr(1, s.size() - 2); for(size_t i=0; i<s.size(); i++) { if((unsigned)s[i] > 127 && !isprint(s[i])) { - PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as esacped sequences"); + PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as escape sequences"); } } if(fsmtlib) { @@ -1573,7 +1573,7 @@ str[std::string& s, bool fsmtlib] s = s.substr(1, s.size() - 2); for(size_t i=0; i<s.size(); i++) { if((unsigned)s[i] > 127 && !isprint(s[i])) { - PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as esacped sequences"); + PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as escape sequences"); } } // In the 2.5 version, always handle escapes (regardless of fsmtlib flag). |