diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-05-11 22:13:17 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-05-11 22:14:39 -0500 |
commit | 2f51aa2939a5c8d8f407b42559aa9abc8d4c3fb9 (patch) | |
tree | b5e3b936d8c0be302a45e9c72aa5b66d3d558a58 /src/util/regexp.cpp | |
parent | 0b2f9943d55152e0958369083649dd71340864c9 (diff) |
Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.
Diffstat (limited to 'src/util/regexp.cpp')
-rw-r--r-- | src/util/regexp.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index 62cf2b647..441af0308 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -41,8 +41,8 @@ void String::toInternal(const std::string &s) { case '\\': {d_str.push_back( convertCharToUnsignedInt('\\') );i++;} break;
case 'x': {
if(i + 2 < s.size()) {
- if((isdigit(s[i+1]) || (s[i+1] >= 'a' && s[i+1] >= 'f') || (s[i+1] >= 'A' && s[i+1] >= 'F')) &&
- (isdigit(s[i+2]) || (s[i+2] >= 'a' && s[i+2] >= 'f') || (s[i+2] >= 'A' && s[i+2] >= 'F'))) {
+ if((isdigit(s[i+1]) || (s[i+1] >= 'a' && s[i+1] <= 'f') || (s[i+1] >= 'A' && s[i+1] <= 'F')) &&
+ (isdigit(s[i+2]) || (s[i+2] >= 'a' && s[i+2] <= 'f') || (s[i+2] >= 'A' && s[i+2] <= 'F'))) {
d_str.push_back( convertCharToUnsignedInt( hexToDec(s[i+1]) * 16 + hexToDec(s[i+2]) ) );
i += 3;
} else {
|